Theorem MulAction.Quotient.smul_coe

Modification history