Tue, 27 Aug 2019 22:31:21 +0200 | immler | explicit instance real::ordered_real_vector before subclass in ordered_euclidean_space | changeset | files |
Tue, 27 Aug 2019 19:22:57 +0200 | nipkow | merged | changeset | files |
Tue, 27 Aug 2019 17:08:51 +0200 | nipkow | moved lemmas | changeset | files |