Theorem CategoryTheory.ι_preservesColimitIso_hom

Modification history

2024-10-27 16:51
Mathlib/CategoryTheory/Limits/Preserves/Limits.lean
chore: fix lemma names for `preservesLimitIso` (#18288)
Added CategoryTheory.ι_preservesColimitIso_homView on Github →