Theorem Sion.sublevelLeft_subset_or

Modification history

2026-07-03 09:38
Mathlib/Topology/Sion.lean
chore: fix bad indentation (#40853) …
Modified Sion.sublevelLeft_subset_orView on Github →
2026-04-07 16:25
Mathlib/Topology/Sion.lean
feat(Topology/Sion): the minimax theorem of von Neumann - Sion (#31560) …
Added Sion.sublevelLeft_subset_orView on Github →