Thu, 20 Sep 2018 18:20:02 +0100 | paulson | removal of more redundancies, and fixes | changeset | files |
Thu, 20 Sep 2018 14:18:11 +0100 | paulson | merged | changeset | files |
Thu, 20 Sep 2018 14:17:58 +0100 | paulson | elimination of near duplication involving Rolle's theorem and the MVT | changeset | files |