Index: univalent functions

This directory contains formalized results on univalent (injective analytic) functions on the unit disc, including the classes S and Σ, the square-root transform of class-S functions, and the connection between them.