Theorem CategoryTheory.Quotient.CompClosure.of

Modification history

2023-03-02 07:55

Mathlib/CategoryTheory/Quotient.lean

feat: port CategoryTheory.Quotient (#2339)

Added CategoryTheory.Quotient.CompClosure.of View on Github →