Commit 2023-03-07 14:15 9393e75c

View on Github →

feat: port CategoryTheory.Limits.Shapes.Equivalence (#2694)

Estimated changes

Modified Mathlib.lean

Created Mathlib/CategoryTheory/Limits/Shapes/Equivalence.lean

added theorem CategoryTheory.Equivalence.hasInitial_iff

added theorem CategoryTheory.Equivalence.hasTerminal_iff

added theorem CategoryTheory.hasInitial_of_equivalence

added theorem CategoryTheory.hasTerminal_of_equivalence