Theorem Affine.Simplex.mem_altitude

Modification history