Theorem AffineSubspace.sup_direction_le

Modification history