Theorem absorbent_iff_eventually_nhdsWithin_zero

Modification history

2024-02-09 04:56
Mathlib/Analysis/LocallyConvex/Basic.lean
chore(Analysis/Seminorm): golf (#10323) …
Added absorbent_iff_eventually_nhdsWithin_zeroView on Github →