Theorem integral_inv_divlog_sq_Ioi

Modification history

2026-07-08 08:44
Mathlib/Analysis/SpecialFunctions/ImproperIntegrals.lean
feat(Analysis/SpecialFunctions/ImproperIntegrals): fix typo (#41480) …
Deleted integral_inv_divlog_sq_IoiView on Github →
2026-07-08 03:27
Mathlib/Analysis/SpecialFunctions/ImproperIntegrals.lean
feat(Analysis/SpecialFunctions/Log/InvLog): add more API for inv_log and log_log (#40847) …
Added integral_inv_divlog_sq_IoiView on Github →