Theorem Affine.Simplex.altitudeFoot_mem_affineSpan

Modification history