OAI/Analysis/HyperbolicCones/ZeroPolynomial.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Paper256.matrixValue_zero_parameter line 15
2. theorem OAI.Paper256.linePolynomial_zero_parameter line 20
3. theorem OAI.Paper256.linePolynomial_repeated_roots line 38
4. theorem OAI.Paper256.repeated_root_point_not_scalar_basePoint line 43