Theorem AffineSubspace.direction_lt_of_nonempty

Modification history