Theorem Affine.Simplex.affineCombination_mem_interior_iff

Modification history