Theorem CategoryTheory.Quotient.natTransLift_app

Modification history