Theorem CategoryTheory.lift_comp_preservesLimitIso_hom

Modification history

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