kebekus
/
nevanlinna
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • b6014409de Update meromorphicOn.lean main Stefan Kebekus 2024-11-15 12:16:41 +0100
  • 8bff0c782b Minor update Stefan Kebekus 2024-11-15 09:01:55 +0100
  • d7b78e8e33 working Stefan Kebekus 2024-11-14 16:53:35 +0100
  • fb642a4ed0 working Stefan Kebekus 2024-11-14 16:18:32 +0100
  • f22cea20a0 Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-11-14 15:54:21 +0100
  • ccfc457c48 Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-11-14 15:36:36 +0100
  • 62abf21cfd Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-11-14 15:33:19 +0100
  • 9ebb1c5215 Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-11-14 15:32:19 +0100
  • 1a14bbbdd6 Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-11-14 14:08:06 +0100
  • 89abb9190f Working… Stefan Kebekus 2024-11-14 13:47:24 +0100
  • ebeba74314 Working… Stefan Kebekus 2024-11-14 11:24:44 +0100
  • f43674dedc working Stefan Kebekus 2024-11-14 06:49:15 +0100
  • 24bd4f9ffa Working… Stefan Kebekus 2024-11-13 16:12:25 +0100
  • 74ba95926e Working… Stefan Kebekus 2024-11-13 14:31:45 +0100
  • 15fa18c52f working... Stefan Kebekus 2024-11-12 16:58:07 +0100
  • c6caffc53d Implementing... Stefan Kebekus 2024-11-12 16:49:07 +0100
  • 7893050455 Update along with mathlib Stefan Kebekus 2024-11-12 13:14:11 +0100
  • a8ab8a5875 Working… Stefan Kebekus 2024-11-11 16:50:49 +0100
  • f3e951884f Update mathlib Stefan Kebekus 2024-11-11 08:46:26 +0100
  • 6d403874e2 Update meromorphicOn_decompose.lean Stefan Kebekus 2024-11-08 12:05:49 +0100
  • 4145a9ebc9 Update meromorphicOn_decompose.lean Stefan Kebekus 2024-11-08 12:00:37 +0100
  • de501a7384 Update meromorphicOn_decompose.lean Stefan Kebekus 2024-11-08 08:40:58 +0100
  • 1c844b9978 Update meromorphicOn_decompose.lean Stefan Kebekus 2024-11-07 16:10:37 +0100
  • dfc67cec4a working Stefan Kebekus 2024-11-07 12:08:52 +0100
  • e843786097 Cleanup Stefan Kebekus 2024-11-07 09:53:34 +0100
  • a95c34fd05 Update divisor.lean Stefan Kebekus 2024-11-06 16:15:27 +0100
  • 9d6801c329 Working… Stefan Kebekus 2024-11-06 16:08:17 +0100
  • 5cdc786144 Working… Stefan Kebekus 2024-11-06 15:33:48 +0100
  • 2146909338 Working (hard) Stefan Kebekus 2024-11-04 13:22:12 +0100
  • 025b0a3db8 Create meromorphicOn_divisor.lean Stefan Kebekus 2024-10-31 17:09:09 +0100
  • 30ad49b90d Working… Stefan Kebekus 2024-10-31 16:59:22 +0100
  • 449de2e42a Update mathlib Stefan Kebekus 2024-10-31 07:37:54 +0100
  • 279dcd32b9 Working… Stefan Kebekus 2024-10-30 16:53:32 +0100
  • a6defe8296 Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-10-25 14:14:07 +0200
  • 5bf670231f Update stronglyMeromorphicAt.lean Stefan Kebekus 2024-10-24 16:05:44 +0200
  • 306ed1b083 Update stronglyMeromorphicOn.lean Stefan Kebekus 2024-10-24 14:37:27 +0200
  • ccdbb319f7 Create stronglyMeromorphicOn.lean Stefan Kebekus 2024-10-24 14:05:16 +0200
  • dd3384439e Rename Stefan Kebekus 2024-10-24 13:49:58 +0200
  • f373bf786b Update stronglyMeromorphic.lean Stefan Kebekus 2024-10-24 13:46:27 +0200
  • 6aa5bc3b1c Update stronglyMeromorphic.lean Stefan Kebekus 2024-10-24 13:12:03 +0200
  • 570a58aab7 Update Stefan Kebekus 2024-10-24 12:50:08 +0200
  • e7ca812ad8 Update stronglyMeromorphic.lean Stefan Kebekus 2024-10-23 13:31:22 +0200
  • d80894ea6f Update stronglyMeromorphic.lean Stefan Kebekus 2024-10-23 13:03:41 +0200
  • e1b948ad2c Update, working, … Stefan Kebekus 2024-10-22 17:12:59 +0200
  • 25b0ffd899 Update stronglyMeromorphic.lean Stefan Kebekus 2024-10-21 10:36:48 +0200
  • 8408172272 Update stronglyMeromorphic.lean Stefan Kebekus 2024-10-14 13:41:05 +0200
  • 405b68924d Update stronglyMeromorphic.lean Stefan Kebekus 2024-10-14 13:25:49 +0200
  • 24139d9d00 Update mathlib Stefan Kebekus 2024-10-14 11:21:22 +0200
  • b4fd53c8b7 Update Stefan Kebekus 2024-10-09 12:13:22 +0200
  • 0298c9c97a Working… Stefan Kebekus 2024-10-09 06:33:14 +0200
  • 1c31e68e2a Update stronglyMeromorphic.lean Stefan Kebekus 2024-10-08 15:39:19 +0200
  • 67b78ad72d Add file Stefan Kebekus 2024-10-08 09:35:17 +0200
  • 9498d9f203 Update mathlib Stefan Kebekus 2024-10-07 13:06:55 +0200
  • 86da08ebc8 working Stefan Kebekus 2024-10-07 07:56:42 +0200
  • 551b4a2463 Update divisor.lean Stefan Kebekus 2024-10-01 06:51:18 +0200
  • 76c6aa1639 Updade mathlib Stefan Kebekus 2024-09-30 16:40:56 +0200
  • c8f4cf12ca Update to latest version of mathlib Stefan Kebekus 2024-09-30 14:12:33 +0200
  • 1a8bde51eb Update divisor.lean Stefan Kebekus 2024-09-17 11:03:44 +0200
  • 12d81cb0a9 Update divisor.lean Stefan Kebekus 2024-09-17 10:43:46 +0200
  • 12f0543f47 Working… Stefan Kebekus 2024-09-14 08:38:04 +0200
  • 6610fd49b0 working… feature/analyticOn Stefan Kebekus 2024-09-13 09:21:57 +0200
  • dba4e2d9c4 Rename file Stefan Kebekus 2024-09-13 07:42:57 +0200
  • fe0d8a5f5e Delete holomorphic_JensenFormula.lean Stefan Kebekus 2024-09-13 07:42:07 +0200
  • 712be956d0 Jensen's formula is done! Stefan Kebekus 2024-09-12 08:56:01 +0200
  • 5a984253c6 Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-09-12 07:52:26 +0200
  • 42c1c14edf Delete diffOpGrothendieck.lean Stefan Kebekus 2024-09-12 07:13:35 +0200
  • b988031047 Update analyticAt.lean Stefan Kebekus 2024-09-12 07:12:03 +0200
  • dbea68061b Update analyticAt.lean Stefan Kebekus 2024-09-12 07:04:00 +0200
  • f83f772506 Update analyticAt.lean Stefan Kebekus 2024-09-12 06:58:43 +0200
  • dbeb631178 Update analyticAt.lean Stefan Kebekus 2024-09-11 16:57:16 +0200
  • 1e8c5bad0f working Stefan Kebekus 2024-09-11 15:48:43 +0200
  • b91e3677c0 Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-09-11 11:09:03 +0200
  • 47e1bfe35e working Stefan Kebekus 2024-09-11 11:06:45 +0200
  • 6651c0852a Working… Stefan Kebekus 2024-09-11 10:24:45 +0200
  • 3bead7a9bf Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-09-11 09:07:49 +0200
  • e901f241cc Working… Stefan Kebekus 2024-09-10 16:50:29 +0200
  • 745e614016 Working… Stefan Kebekus 2024-09-10 15:29:30 +0200
  • 8e5ada9a01 working… Stefan Kebekus 2024-09-10 14:43:28 +0200
  • ef7e1df191 Working… Stefan Kebekus 2024-09-10 14:21:08 +0200
  • fa2e431f4c Update analyticOn_zeroSet.lean Stefan Kebekus 2024-09-10 12:53:34 +0200
  • f732c82f92 Update analyticOn_zeroSet.lean Stefan Kebekus 2024-09-10 11:30:27 +0200
  • cd58c18a78 Update analyticOn_zeroSet.lean Stefan Kebekus 2024-09-10 11:21:49 +0200
  • 5dc437751b Update analyticOn_zeroSet.lean Stefan Kebekus 2024-09-10 11:06:00 +0200
  • aa79fdb9eb Update analyticOn_zeroSet.lean Stefan Kebekus 2024-09-10 10:55:53 +0200
  • e41a08f1d5 Create analyticAt.lean Stefan Kebekus 2024-09-10 10:45:53 +0200
  • 111fcea7af Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-09-09 13:17:12 +0200
  • e3853f1632 Update Mathlib Stefan Kebekus 2024-09-09 12:45:07 +0200
  • 1ccc9679e5 Update lean Stefan Kebekus 2024-09-09 06:50:28 +0200
  • 2ec1335521 Update Mathlib Stefan Kebekus 2024-08-23 09:26:58 +0200
  • 42a6c439a9 Update holomorphic_JensenFormula2.lean Stefan Kebekus 2024-08-22 14:52:52 +0200
  • b818aa5c13 working… Stefan Kebekus 2024-08-22 14:21:14 +0200
  • 371b90c1c6 working… Stefan Kebekus 2024-08-22 13:09:03 +0200
  • db9ce54bcf Update specialFunctions_CircleIntegral_affine.lean Stefan Kebekus 2024-08-22 08:47:20 +0200
  • 77dea4115e working Stefan Kebekus 2024-08-22 08:19:01 +0200
  • 567b08aa5b working… Stefan Kebekus 2024-08-21 17:04:45 +0200
  • 960af65b57 Update holomorphic_JensenFormula.lean Stefan Kebekus 2024-08-21 10:12:36 +0200
  • 1160beac5e Update analyticOn_zeroSet.lean Stefan Kebekus 2024-08-20 17:45:42 +0200
  • 6d0870d533 Update analyticOn_zeroSet.lean Stefan Kebekus 2024-08-20 17:27:42 +0200
  • 867b88bf5a Update analyticOn_zeroSet.lean Stefan Kebekus 2024-08-20 16:56:25 +0200
  • efe088f9b5 working… Stefan Kebekus 2024-08-20 15:33:55 +0200