Theorem Affine.Simplex.height_pos

Modification history