Def AffineSubspace.directionOfNonempty

Modification history