mathlib3
51a75ffe - feat(category_theory/pullback): make the is_limit helper lemmas more ergonomic (#3398)

Commit

6 years ago

feat(category_theory/pullback): make the is_limit helper lemmas more ergonomic (#3398) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents