Theorem Affine.Simplex.affineCombination_mem_closedInterior_iff

Modification history