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.

Estimated changes