Theorem Affine.Simplex.eq_mongePoint_of_forall_mem_mongePlane

Modification history