Theorem Affine.Simplex.finrank_direction_altitude

Modification history