Theorem AffineSubspace.smul_mem_smul_iff_of_isUnit

Modification history