Theorem MulAction.univ_eq_iUnion_orbit

Modification history