Theorem Affine.Simplex.altitudeFoot_mem_altitude

Modification history