mathlib3
f1f2ca68 - feat(category_theory/limits): preserves limits of equivalent shape (#5515)

Commit

5 years ago

feat(category_theory/limits): preserves limits of equivalent shape (#5515)

Author

b-mehta

b-mehta

Parents

Loading