Theorem MulAction.smul_set_stabilizer_subset

Modification history