Theorem CategoryTheory.Bicategory.Equivalence.right_triangle

Modification history

2024-02-10 12:15
Mathlib/CategoryTheory/Bicategory/Adjunction.lean
feat(Bicategory/Adjunction): the left triangle implies the right triangle for equivalences (#10398)
Added CategoryTheory.Bicategory.Equivalence.right_triangleView on Github →