Theorem Affine.Simplex.altitude_def

Modification history