Theorem AffineSubspace.vsub_mem_direction

Modification history