Theorem iInter_halfspaces_eq

Modification history

2024-11-13 06:19

Mathlib/Analysis/NormedSpace/HahnBanach/Separation.lean

chore: rename `halfspace` to `halfSpace` (#18935) …

Deleted iInter_halfspaces_eq View on Github →

2023-05-25 08:46

Mathlib/Analysis/NormedSpace/HahnBanach/Separation.lean

feat: port Analysis.NormedSpace.HahnBanach.Separation (#4317)

Added iInter_halfspaces_eq View on Github →