Def CategoryTheory.Equivalence.mkIso

Modification history

2025-05-18 14:11

Mathlib/CategoryTheory/Equivalence.lean

feat(CategoryTheory/Equivalences): category structure on equivalences (#23197) …

Added CategoryTheory.Equivalence.mkIso View on Github →