Theorem AffineSubspace.le_def'

Modification history