Theorem Affine.Simplex.vectorSpan_isOrtho_altitude_direction

Modification history