Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-25 23:21 360ca9cc

View on Github →

feat(analysis/special_functions/integrals): interval_integrable_log (#7713)

Estimated changes