Theorem CategoryTheory.preservesColimitIso_inv_comp_desc

Modification history

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