Theorem CategoryTheory.Functor.map_isoCongr

Modification history

2024-07-31 09:13
Mathlib/CategoryTheory/HomCongr.lean
chore: split conj into two files to streamline imports (#15300) …
Added CategoryTheory.Functor.map_isoCongrView on Github →