integrals): integral of `|x - a| ^ n` over `Ι a b` (#9752)

Commit

4 years ago

feat(analysis/special_functions/integrals): integral of `|x - a| ^ n` over `Ι a b` (#9752) Also use notation for `interval a b` and `interval_oc a b`.

Author

urkud

Parents

54e9e120

mathlib3 3fe67d65 - feat(analysis/special_functions/integrals): integral of `|x - a| ^ n` over `Ι a b` (#9752)

mathlib3
3fe67d65 - feat(analysis/special_functions/integrals): integral of `|x - a| ^ n` over `Ι a b` (#9752)