Theorem CategoryTheory.Limits.preservesColimits_op

Modification history

2024-12-26 07:24
Mathlib/CategoryTheory/Limits/Preserves/Opposites.lean
docs: fix typos across repository (#20239) …
Added CategoryTheory.Limits.preservesColimits_opView on Github →