Truncated integrals of rational powers

Rational powers $a^r$ of a positive base

Laws of rational exponents

Monotonicity of $r\mapsto a^r$ and of $a\mapsto a^r$

Existence and uniqueness of $n$-th roots: a unique $a^{1\mathrm{/}n}\ge 0$ with $(a^{1\mathrm{/}n}{)}^n=a$

Sums, scalar multiples, products and quotients: $(f+g{)}^{\mathrm{\prime }}(c)=f^{\mathrm{\prime }}(c)+g^{\mathrm{\prime }}(c)$, $(\alpha f{)}^{\mathrm{\prime }}(c)=\alpha f^{\mathrm{\prime }}(c)$, $(fg{)}^{\mathrm{\prime }}(c)=f^{\mathrm{\prime }}(c)g(c)+f(c)g^{\mathrm{\prime }}(c)$, and $(f\mathrm{/}g{)}^{\mathrm{\prime }}(c)=(f^{\mathrm{\prime }}(c)g(c)-f(c)g^{\mathrm{\prime }}(c))\mathrm{/}g(c{)}^2$ when $g(c)\mathrm{\ne }0$

Substitution: if $\phi$ is differentiable on $[c,d]$ with ${\phi }^{\mathrm{\prime }}$ integrable and $f$ is continuous on an interval containing $\phi ([c,d])$, then ${\int }_{\phi (c)}^{\phi (d)}f={\int }_c^d(f\circ \phi ){\phi }^{\mathrm{\prime }}$

Every continuous function on an interval has a primitive; two primitives differ by a constant; and ${\int }_a^{b}f=G(b)-G(a)$ for any primitive $G$

The second fundamental theorem: if $G$ is differentiable on $[a,b]$ with $G^{\mathrm{\prime }}=f$ and $f$ is integrable, then ${\int }_a^{b}f=G(b)-G(a)$

Integer powers $a^m$

The canonical natural $\iota (n)=n\cdot 1_F$ of a field

The derivative $f^{\mathrm{\prime }}(c)={\lim }_{x\to c}\frac{f(x)-f(c)}{x-c}$ of $f:A\to \mathbb{R}$ at a point $c\in A$ that is a limit point of $A$, and differentiability on a set