Theorem MulAction.stabilizer_inf_stabilizer_le_stabilizer_union

Modification history