Theorem AffineSubspace.exists_of_lt

Modification history