Commit 2024-02-09 04:56 f5a4b102
View on Github →chore(Analysis/Seminorm): golf (#10323)
- Add
absorbent_iff_eventually_nhdsWithin_zero
. - Use it to golf
Seminorm.bddAbove_of_absorbent
.
chore(Analysis/Seminorm): golf (#10323)
absorbent_iff_eventually_nhdsWithin_zero
.Seminorm.bddAbove_of_absorbent
.