Theorem CategoryTheory.Quotient.comp_left

Modification history