Theorem eq_empty_or_univ_of_smul_invariant_closed

Modification history