Commit 2026-03-18 18:34 fce83a1b

View on Github →

feat: introduce canonical factors, a.k.a. "Blaschke factors", as used in complex analysis (#36264) Introduce canonical factors, also known as "Blaschke factors", used in complex analysis when discussing meromorphic functions defined on spheres. This material is used in Project VD, formalizing Value Distribution Theory for meromorphic functions on the complex plane.

Estimated changes