Commit 2026-03-10 22:48 ff3c1346

fix(Mathlib/CategoryTheory/Limits): fix naming of a lemma (#36455) The lemma preservesFiniteCoproductsOfPreservesBinaryAndInitial does not follow the naming convention, as it's type is a Prop. Moreover, it is inconsistent with the product version, which does follow the convention PreservesFiniteProducts.of_preserves_binary_and_terminal