Theorem Affine.Simplex.direction_altitude

Modification history