Theorem CategoryTheory.Quotient.natTrans_ext

Modification history