Theorem CategoryTheory.Under.mapIso_inverse

Modification history

2025-07-19 15:53
Mathlib/CategoryTheory/Comma/Over/Basic.lean
feat: `Over.map` of an iso is an equivalence (#27139) …
Modified CategoryTheory.Under.mapIso_inverseView on Github →
2024-11-24 10:18
Mathlib/CategoryTheory/Comma/Over.lean
feat(CategoryTheory/Over): more API for `post` (#19312)
Added CategoryTheory.Under.mapIso_inverseView on Github →