Theorem AffineSubspace.ext_of_direction_eq

Modification history