Def CategoryTheory.MonoOver.factorThru

Modification history

2023-04-17 16:37

Mathlib/CategoryTheory/Subobject/FactorThru.lean

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

Added CategoryTheory.MonoOver.factorThru View on Github →