Theorem AffineSubspace.direction_top

Modification history