Stefan Kebekus
|
6759baea2f
|
Update holomorphic_primitive2.lean
|
2024-08-05 12:41:05 +02:00 |
|
Stefan Kebekus
|
9294d89ef1
|
working…
|
2024-08-05 10:56:41 +02:00 |
|
Stefan Kebekus
|
c44f7e2efd
|
Working…
|
2024-08-05 10:02:24 +02:00 |
|
Stefan Kebekus
|
8a8e0769c2
|
working
|
2024-08-03 07:20:01 +02:00 |
|
Stefan Kebekus
|
c376bd3c46
|
Update holomorphic_primitive2.lean
|
2024-08-02 14:47:39 +02:00 |
|
Stefan Kebekus
|
103fd5fb0f
|
working…
|
2024-08-02 12:46:21 +02:00 |
|
Stefan Kebekus
|
03548bc6da
|
working
|
2024-08-02 11:22:41 +02:00 |
|
Stefan Kebekus
|
2e5d008857
|
working…
|
2024-08-02 07:16:38 +02:00 |
|
Stefan Kebekus
|
78de1bd3b0
|
working
|
2024-08-01 13:51:15 +02:00 |
|
Stefan Kebekus
|
a1f96806a1
|
Working…
|
2024-08-01 12:38:33 +02:00 |
|
Stefan Kebekus
|
f65c84a14b
|
working…
|
2024-08-01 10:02:36 +02:00 |
|
Stefan Kebekus
|
9a7c8b82a4
|
working
|
2024-07-31 15:59:43 +02:00 |
|
Stefan Kebekus
|
5328c7cc2a
|
working
|
2024-07-31 15:08:27 +02:00 |
|
Stefan Kebekus
|
eb4c9da6b5
|
working
|
2024-07-31 14:54:41 +02:00 |
|
Stefan Kebekus
|
167db4310c
|
Add mean value property of harmonic functions
|
2024-07-31 12:25:30 +02:00 |
|
Stefan Kebekus
|
c9b72c89b5
|
Minor cleanup
|
2024-07-31 09:40:35 +02:00 |
|
Stefan Kebekus
|
dd207b19a2
|
working…
|
2024-07-30 16:45:26 +02:00 |
|
Stefan Kebekus
|
8d100b2333
|
working…
|
2024-07-30 15:11:57 +02:00 |
|
Stefan Kebekus
|
1d27eeb66b
|
Working.
|
2024-07-30 14:11:39 +02:00 |
|
Stefan Kebekus
|
d4de5d8b5a
|
Saving, renaming
|
2024-07-30 12:19:59 +02:00 |
|
Stefan Kebekus
|
a2c2d05789
|
Working
|
2024-07-30 10:52:12 +02:00 |
|
Stefan Kebekus
|
4ca5f6d4d2
|
Working…
|
2024-07-29 15:50:51 +02:00 |
|
Stefan Kebekus
|
f2988797b4
|
Fix compilation
|
2024-07-29 11:22:47 +02:00 |
|
Stefan Kebekus
|
c785a85f26
|
Make things compile again
|
2024-07-25 15:52:16 +02:00 |
 janneklink
|
34dfad798c
|
test
|
2024-07-14 10:55:58 +02:00 |
|
Stefan Kebekus
|
789c1100bc
|
Update diffOp.lean
|
2024-07-12 09:41:05 +02:00 |
|
Stefan Kebekus
|
5bd004d653
|
Add file
|
2024-07-12 09:32:12 +02:00 |
|
Stefan Kebekus
|
ff00a0db82
|
Update tensor.lean
|
2024-07-03 11:17:47 +02:00 |
|
Stefan Kebekus
|
36c3d0f66b
|
Create tensor.lean
|
2024-07-02 11:45:03 +02:00 |
|
Stefan Kebekus
|
323b133c88
|
working...
|
2024-06-29 17:17:19 +02:00 |
|
Stefan Kebekus
|
602296031d
|
Update bilinear.lean
|
2024-06-29 09:17:43 +02:00 |
|
Stefan Kebekus
|
8b4317759c
|
Update bilinear.lean
|
2024-06-29 09:01:53 +02:00 |
|
Stefan Kebekus
|
9a9fbf1b54
|
Update mathlib
|
2024-06-28 07:53:20 +02:00 |
|
Stefan Kebekus
|
6412671bc6
|
Working…
|
2024-06-27 14:02:00 +02:00 |
|
Stefan Kebekus
|
c59e12a468
|
Update laplace2.lean
|
2024-06-27 06:35:02 +02:00 |
|
Stefan Kebekus
|
07f4ff610b
|
Create bilinear.lean
|
2024-06-26 12:28:39 +02:00 |
|
Stefan Kebekus
|
c1766f6a38
|
Update laplace2.lean
|
2024-06-24 17:30:30 +02:00 |
|
Stefan Kebekus
|
42cf2e41b9
|
Update laplace2.lean
|
2024-06-24 12:14:18 +02:00 |
|
Stefan Kebekus
|
ecdc182f2b
|
Update laplace2.lean
|
2024-06-24 08:03:39 +02:00 |
|
Stefan Kebekus
|
adc0378e5d
|
Update laplace2.lean
|
2024-06-24 07:58:04 +02:00 |
|
Stefan Kebekus
|
d287c24453
|
New file
|
2024-06-23 21:13:01 +02:00 |
|
Stefan Kebekus
|
0a68e3a344
|
Update holomorphic.primitive.lean
|
2024-06-19 08:37:14 +02:00 |
|
Stefan Kebekus
|
7a281ff514
|
Working…
|
2024-06-19 08:20:36 +02:00 |
|
Stefan Kebekus
|
50591a54c2
|
Update holomorphic.primitive.lean
|
2024-06-18 19:24:18 +02:00 |
|
Stefan Kebekus
|
decb648c24
|
Update holomorphic.primitive.lean
|
2024-06-18 16:49:00 +02:00 |
|
Stefan Kebekus
|
7e6fc7bacd
|
Update holomorphic.primitive.lean
|
2024-06-18 11:21:58 +02:00 |
|
Stefan Kebekus
|
2d7e62bb49
|
Update holomorphic.primitive.lean
|
2024-06-18 09:56:44 +02:00 |
|
Stefan Kebekus
|
46ededdde7
|
Update holomorphic.primitive.lean
|
2024-06-17 17:22:17 +02:00 |
|
Stefan Kebekus
|
8d2339a769
|
working…
|
2024-06-17 10:11:39 +02:00 |
|
Stefan Kebekus
|
321ceba46b
|
Update holomorphic.primitive.lean
|
2024-06-16 19:15:19 +02:00 |