Tue, 05 May 2015 18:45:10 +0200 | immler | generalized differentiable_bound; some further variations of differentiable_bound | changeset | files |
Tue, 05 May 2015 18:45:10 +0200 | immler | moved basic lemmas about has_vector_derivative | changeset | files |
Tue, 05 May 2015 18:45:10 +0200 | immler | closures of intervals | changeset | files |