Theorem isLocallyClosed_Ioi

Modification history

2025-01-07 20:32
Mathlib/Topology/Order/IsLocallyClosed.lean
feat(NumberTheory/AbelSummation): add more results (#19942) …
Added isLocallyClosed_IoiView on Github →