Theorem Affine.Simplex.isCompact_closedInterior

Modification history

2026-02-25 22:02
Mathlib/Analysis/Convex/Topology.lean
feat(Geometry/Euclidean): Simplex.closedInterior is closed (#35358) …
Added Affine.Simplex.isCompact_closedInteriorView on Github →