Skip to content

move comma.lean and pullback.lean to mathlib #10

New issue
New issue
Open
Open
move comma.lean and pullback.lean to mathlib#10
Labels
lightThis requires only a small bit of theory
@EdAyers

Description

@EdAyers
EdAyers
opened on Feb 19, 2020
No description provided.

Metadata

Metadata

Assignees

No one assigned

    Labels

    lightThis requires only a small bit of theory

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions