Semi-continuity of the face-function for a convex set. Larry Q. Eifler — 1977 Commentarii mathematici Helvetici