Theorem Affine.Simplex.ne_altitudeFoot

Modification history