Def CategoryTheory.MonoOver.Factors

Modification history

2023-04-17 16:37

Mathlib/CategoryTheory/Subobject/FactorThru.lean

feat: port CategoryTheory.Subobject.FactorThru (#3445)

Added CategoryTheory.MonoOver.Factors View on Github →