Theorem CategoryTheory.Quotient.natTransLift_id

Modification history