Commit 2026-07-08 08:44 569217d9
View on Github →feat(Analysis/SpecialFunctions/ImproperIntegrals): fix typo (#41480) An underscore was left out of the name of a recently merged theorem by mistake; this PR restores that underscore.
feat(Analysis/SpecialFunctions/ImproperIntegrals): fix typo (#41480) An underscore was left out of the name of a recently merged theorem by mistake; this PR restores that underscore.