Theorem MulAction.injective_ofQuotientStabilizer

Modification history