Def CategoryTheory.Limits.Types.monoFactorisation
Modification history
2025-04-02 15:28
Mathlib/CategoryTheory/Limits/Types.lean
chore(CategoryTheory/Limits): split Types.lean (#23346) …
Modified CategoryTheory.Limits.Types.monoFactorisationView on Github →