Fri, 13 Jul 2018 18:27:18 +0100 | Manuel Eberl | HOL-Analysis: Volume of a simplex, Heron's theorem | changeset | files |
Fri, 13 Jul 2018 16:54:36 +0100 | Manuel Eberl | Tagged Ball_Volume and Gamma_Function in HOL-Analysis | changeset | files |
Fri, 13 Jul 2018 15:42:18 +0200 | nipkow | correct import | changeset | files |