Theorem CategoryTheory.ι_preservesColimitIso_inv

Modification history

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