Theorem intrinsicFrontier_univ

Modification history

2024-10-01 11:49

Mathlib/Analysis/Convex/Intrinsic.lean

feat: Convex functions are continuous (#14999) …

Deleted intrinsicFrontier_univ View on Github →

2024-09-02 17:15

Mathlib/Analysis/Convex/Intrinsic.lean

feat: Intrinsic interior of a spanning set (#16090) …

Added intrinsicFrontier_univ View on Github →