Theorem CategoryTheory.Quotient.comp_mk

Modification history