Theorem AffineSubspace.mem_mk'_iff_vsub_mem

Modification history