Theorem AffineSubspace.direction_inf

Modification history