Commit Graph

194 Commits

Author SHA1 Message Date
Stefan Kebekus d5f34a3110 Split off file 2024-05-13 09:23:08 +02:00
Stefan Kebekus 005cd10a28 Update partialDeriv.lean 2024-05-09 10:39:40 +02:00
Stefan Kebekus 6ea989be6b Update partialDeriv.lean 2024-05-09 08:18:55 +02:00
Stefan Kebekus 9579da6e39 Define partial over arbitrary fields 2024-05-08 15:59:56 +02:00
Stefan Kebekus 69a35228ee Update complexHarmonic.lean 2024-05-08 08:32:06 +02:00
Stefan Kebekus 5ce2b83c20 Update complexHarmonic.lean 2024-05-08 08:27:12 +02:00
Stefan Kebekus 631b1bad70 Update complexHarmonic.lean 2024-05-08 07:15:34 +02:00
Stefan Kebekus 6061fa4279 Update partialDeriv.lean 2024-05-07 17:32:41 +02:00
Stefan Kebekus e45017277a Working 2024-05-07 16:50:57 +02:00
Stefan Kebekus b5cf426b7f Clean up 2024-05-07 13:45:35 +02:00
Stefan Kebekus b26256d84e Big cleanup 2024-05-07 12:13:28 +02:00
Stefan Kebekus a1910c3a72 Working... 2024-05-07 10:16:23 +02:00
Stefan Kebekus 403605f7a0 Working on partial derivatives 2024-05-07 09:49:56 +02:00
Stefan Kebekus dc544308c8 Update complexHarmonic.lean 2024-05-07 07:08:23 +02:00
Stefan Kebekus 9ac79470cd Update complexHarmonic.lean 2024-05-06 17:01:10 +02:00
Stefan Kebekus b03954eee9 Create comparingDerivatives.lean 2024-05-06 15:33:00 +02:00
Stefan Kebekus e5383eff34 Make it work! 2024-05-06 10:09:49 +02:00
Stefan Kebekus c44f4fe3b0 Cleanup 2024-05-06 09:01:43 +02:00
Stefan Kebekus a55b084031 Update complexHarmonic.lean 2024-05-03 15:54:51 +02:00
Stefan Kebekus bfdc7f6d2a Update complexHarmonic.lean 2024-05-03 12:23:09 +02:00
Stefan Kebekus ea3693ff24 Update complexHarmonic.lean 2024-05-02 21:09:38 +02:00
Stefan Kebekus f239759275 Update complexHarmonic.lean 2024-05-02 17:55:26 +02:00
Stefan Kebekus b9a973d10d Update complexHarmonic.lean 2024-05-02 09:48:26 +02:00
Stefan Kebekus f85fafd05f Working... 2024-04-30 08:20:57 +02:00
Stefan Kebekus 0c15de05b8 Merge branch 'main' of git.cplx.vm.uni-freiburg.de:kebekus/nevanlinna 2024-04-30 06:52:41 +02:00
Stefan Kebekus b2f04c1dfa Update cauchyRiemann.lean 2024-04-29 20:53:47 +02:00
Stefan Kebekus 2d2a21be72 Update cauchyRiemann.lean 2024-04-29 19:48:37 +02:00
Stefan Kebekus 38eaf677f9 Update cauchyRiemann.lean 2024-04-29 14:19:58 +02:00
Stefan Kebekus 77d1fd2ae4 Working… 2024-04-29 10:19:21 +02:00
Stefan Kebekus a5bf92552c Update cauchyRiemann.lean 2024-04-29 08:54:28 +02:00
Stefan Kebekus ef75cb4579 working... 2024-04-28 21:17:45 +02:00
Stefan Kebekus 90d3aceb95 cauchy riemann 2024-04-28 21:09:38 +02:00
Stefan Kebekus 53b5248e81 experimenting… 2024-04-26 21:18:06 +02:00
Stefan Kebekus 1918cc0139 Update harmonic.lean 2024-04-26 16:02:56 +02:00
Stefan Kebekus 187781f971 Experimenting… 2024-04-26 13:53:44 +02:00
Stefan Kebekus 98efcf9f87 Update logabs.lean 2024-04-25 19:16:21 +02:00
Stefan Kebekus cbe98c404b Create logabs.lean 2024-04-25 10:18:24 +02:00
Stefan Kebekus fb5bf47170 Working… 2024-04-24 16:23:39 +02:00
Stefan Kebekus d1de7fee33 Update test.lean 2024-04-24 10:09:34 +02:00
Stefan Kebekus 72ce984d03 Update test.lean 2024-04-23 21:20:50 +02:00
Stefan Kebekus f33953de0a Working… 2024-04-23 10:56:52 +02:00
Stefan Kebekus e37ef6da16 Messing around 2024-04-23 10:03:36 +02:00
Stefan Kebekus a5ce6034de First test 2024-04-23 09:22:06 +02:00
Stefan Kebekus 5382d1572b Add files 2024-04-23 09:18:45 +02:00