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

Update complexHarmonic.examples.lean

This commit is contained in:
Stefan Kebekus 2024-06-10 14:12:16 +02:00
parent 52abf9b79b
commit dfbf3f772d
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Nevanlinna/complexHarmonic.examples.lean
View File

@ -1,3 +1,4 @@
import Mathlib.Analysis.SpecialFunctions.Complex.LogDeriv
import Nevanlinna.complexHarmonic import Nevanlinna.complexHarmonic
import Nevanlinna.holomorphic import Nevanlinna.holomorphic