Theorem AffineSubspace.direction_le

Modification history