Theorem AffineSubspace.vadd_mem_of_mem_direction

Modification history