Theorem AffineSubspace.lt_def

Modification history