Theorem ProperCone.hyperplane_separation_of_nmem

Modification history

2025-05-25 12:30
Mathlib/Analysis/Convex/Cone/Proper.lean
chore(*): not_mem/nmem -> notMem (#25159)
Deleted ProperCone.hyperplane_separation_of_nmemView on Github →
2023-07-03 06:43
Mathlib/Analysis/Convex/Cone/Proper.lean
fix: re-port Mathlib.Analysis.Convex.Cone.Proper (#5646) …
Added ProperCone.hyperplane_separation_of_nmemView on Github →