Theorem CategoryTheory.Quotient.comp_natTransLift

Modification history