OAI/Analysis/SymmetricDomains/MeromorphicPolynomialRoot.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Release061.scaled_polynomial_root_bound line 36
2. theorem OAI.Release061.meromorphicAt_polynomial_root line 53