Theorem AffineSubspace.vsub_left_mem_direction_iff_mem

Modification history