Summary
- merged
- final cleanup of negligible_standard_hyperplane and other things
- merged
- sorted out cases in negligible_standard_hyperplane
- Unscrambling continues as far as negligible_standard_hyperplane
- unscrambled has_integral_restrict_open_subinterval
- merged
- Giant cleanup of fundamental_theorem_of_calculus_interior
- work on indefinite_integral_continuous_left, etc.
- merged
- not ready for release;
- updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
- merged
- added eta_expansion and its documentation.
- More material on infinite sums