Theorem AffineSubspace.eq_of_direction_eq_of_nonempty_of_le

Modification history