Inductive CategoryTheory.Quotient.CompClosure

Modification history