Sun, 04 Jul 2021 18:35:57 +0100 | paulson | Imported lots of material from Stirling_Formula/Gamma_Asymptotics | changeset | files |
Fri, 02 Jul 2021 20:43:39 +0100 | paulson | merged | changeset | files |
Fri, 02 Jul 2021 20:39:15 +0100 | paulson | arg for the nonstandard complex numbers | changeset | files |