Theorem dense_of_nonempty_smul_invariant

Modification history