Theorem MulAction.stabilizer_union_eq_right

Modification history