Theorem CategoryTheory.preservesLimitIso_inv_π

Modification history

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