Description: The integral of a monomial on a closed bounded interval of the real line. Co-authors TA and MC. (Contributed by Jon Pennant, 31-May-2019) (Revised by Thierry Arnoux, 14-Jun-2019)
Ref | Expression | ||
---|---|---|---|
Hypotheses | itgpowd.1 | |
|
itgpowd.2 | |
||
itgpowd.3 | |
||
itgpowd.4 | |
||
Assertion | itgpowd | |