Theorem MulAction.stabilizer_inf_stabilizer_le_stabilizer_inter

Modification history