ProjectOverview • 166

improper integrals
power integrals
substitution rule
real box step functions hull
1-dim integration vector space
1-dim integration algebra
stet/monoton integrable
rational integrals substitution