Theorem MulAction.orbit_nonempty

Modification history