Commit 2026-05-28 09:36 96d7792a
View on Github →chore(NumberTheory/Harmonic/ZetaAsymp): remove underscores in definitions (#39948)
These definitions escaped the defsWithUnderscore linter by being prefixed with term, which the linter uses as a heuristic to identify parsers. Found by adjustments made in #39890.