|
bilinear.lean
|
working...
|
2024-06-29 17:17:19 +02:00 |
|
cauchyRiemann.lean
|
Working…
|
2024-06-19 08:20:36 +02:00 |
|
complexHarmonic.lean
|
working
|
2024-06-11 13:28:02 +02:00 |
|
harmonicAt.examples.lean
|
working
|
2024-06-11 13:28:02 +02:00 |
|
holomorphic.lean
|
Done with examples for holomorphicAt
|
2024-06-10 12:39:40 +02:00 |
|
holomorphic.primitive.lean
|
Update holomorphic.primitive.lean
|
2024-06-19 08:37:14 +02:00 |
|
holomorphicAt.lean
|
working
|
2024-06-11 17:18:24 +02:00 |
|
laplace.lean
|
Update laplace.lean
|
2024-06-10 16:00:49 +02:00 |
|
laplace2.lean
|
working...
|
2024-06-29 17:17:19 +02:00 |
|
partialDeriv.lean
|
Working…
|
2024-06-10 10:58:57 +02:00 |
|
smulImprovement.lean
|
working…
|
2024-06-17 10:11:39 +02:00 |
|
tensor.lean
|
Create tensor.lean
|
2024-07-02 11:45:03 +02:00 |
|
test.lean
|
Working...
|
2024-04-30 08:20:57 +02:00 |
36c3d0f66b