Def CategoryTheory.Limits.factorThruKernelSubobject

Modification history

2023-04-17 18:22

Mathlib/CategoryTheory/Subobject/Limits.lean

feat: port CategoryTheory.Subobject.Limits (#3450)

Added CategoryTheory.Limits.factorThruKernelSubobject View on Github →