Theorem AffineSubspace.smul_mem_smul_iff₀

Modification history