Theorem MulAction.orbitRel.Quotient.orbit.coe_smul

Modification history