Theorem AffineSubspace.direction_affineSpan_insert

Modification history