Theorem exists_smul_not_mem_of_subset_orbit_closure

Modification history