Theorem AmpleSet.union

Modification history

2024-04-18 08:21

Mathlib/Analysis/Convex/AmpleSet.lean

feat: translations of ample sets are ample (#12046) …

Modified AmpleSet.union View on Github →

2024-04-10 10:42

Mathlib/Analysis/Convex/AmpleSet.lean

feat: ample sets in real vector spaces (#11344) …

Added AmpleSet.union View on Github →