mathlib3

d7579961 - feat(analysis/complex): prove that complex functions are conformal if and only if the functions are holomorphic/antiholomorphic with nonvanishing differential (#8424)

feat(analysis/complex): prove that complex functions are conformal if and only if the functions are holomorphic/antiholomorphic with nonvanishing differential (#8424) Complex functions are conformal if and only if the functions are holomorphic/antiholomorphic with nonvanishing differential. Co-authored-by: justadzr <66561890+justadzr@users.noreply.github.com>