Theorem MulAction.stabilizer_smul_eq_right

Modification history