HomeIsabelle/Phabricator

more general definition of meromorphicity; Weierstraß factorisation theorem