Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-05-15 21:17:47 +02:00
bfeade4095 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-15 15:32:02 +02:00
1c34aee7be working
kebekus pushed to main at kebekus/nevanlinna 2024-05-15 15:15:36 +02:00
4ff9c41ae3 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-15 15:03:19 +02:00
4064f69c03 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-15 10:09:25 +02:00
058ea29a64 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-14 17:24:38 +02:00
a60e07e602 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-14 17:02:48 +02:00
06f8de2f56 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-14 09:47:50 +02:00
4acac60a4f Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-13 10:10:15 +02:00
e7b23a6b2c Update complexHarmonic.lean
5e3f9c463f Update laplace.lean
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-05-13 09:48:20 +02:00
e5f2551482 Fix error
kebekus pushed to main at kebekus/nevanlinna 2024-05-13 09:46:24 +02:00
ad1e7d113f Update laplace.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-13 09:23:11 +02:00
d5f34a3110 Split off file
kebekus pushed to main at kebekus/nevanlinna 2024-05-09 10:39:44 +02:00
005cd10a28 Update partialDeriv.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-09 08:18:59 +02:00
6ea989be6b Update partialDeriv.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-08 15:59:58 +02:00
9579da6e39 Define partial over arbitrary fields
kebekus pushed to main at kebekus/nevanlinna 2024-05-08 08:32:09 +02:00
69a35228ee Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-08 08:27:16 +02:00
5ce2b83c20 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-08 07:15:37 +02:00
631b1bad70 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 17:32:44 +02:00
6061fa4279 Update partialDeriv.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 16:51:06 +02:00
e45017277a Working