| Mon, 25 Sep 2023 17:06:05 +0100 |
paulson |
A few new theorems
|
file |
diff |
annotate
|
| Sat, 23 Sep 2023 18:45:19 +0100 |
paulson |
A few new or simplified proofs
|
file |
diff |
annotate
|
| Thu, 16 Feb 2023 12:54:24 +0000 |
paulson |
Limit properties for complex exponential
|
file |
diff |
annotate
|
| Tue, 07 Feb 2023 14:10:08 +0000 |
paulson |
More new theorems from the number theory development
|
file |
diff |
annotate
|
| Wed, 01 Feb 2023 12:43:33 +0000 |
paulson |
More new material thanks to Manuel
|
file |
diff |
annotate
|
| Tue, 31 Jan 2023 14:05:16 +0000 |
paulson |
Lots more new material thanks to Manuel Eberl
|
file |
diff |
annotate
|
| Mon, 30 Jan 2023 15:24:17 +0000 |
paulson |
Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl
|
file |
diff |
annotate
|
| Tue, 20 Dec 2022 17:59:44 +0000 |
paulson |
First round of moving material from the number theory development
|
file |
diff |
annotate
|
| Wed, 26 Oct 2022 17:22:12 +0100 |
paulson |
A couple of new theorems. Also additional coercions to the complex numbers
|
file |
diff |
annotate
|
| Wed, 08 Jun 2022 15:36:27 +0100 |
paulson |
some additional lemmas and a little tidying up
|
file |
diff |
annotate
|
| Mon, 30 May 2022 12:46:11 +0100 |
paulson |
Five slightly useful lemmas
|
file |
diff |
annotate
|
| Sat, 04 Sep 2021 11:22:24 +0100 |
paulson |
white space
|
file |
diff |
annotate
|
| Fri, 03 Sep 2021 18:20:13 +0100 |
paulson |
strengthened a few lemmas about finite sets and added a code equation for complex_of_real
|
file |
diff |
annotate
|
| Sun, 04 Jul 2021 18:35:57 +0100 |
paulson |
Imported lots of material from Stirling_Formula/Gamma_Asymptotics
|
file |
diff |
annotate
|
| Fri, 02 Jul 2021 15:54:31 +0100 |
paulson |
converting arg to Arg
|
file |
diff |
annotate
|