analytic functions in coinductive form

Last updated Feb 3, 2024

References.

• Calculus in Coinductive Form (Escardó, Pavlovic)
• coinductive analysis