Theorem SetLike.forall_smul_mem_iff

Modification history