OAI/Analysis/HyperbolicCones/ConeMatrix.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Paper256.symInverse line 12
2. def OAI.Paper256.phiSym line 15
3. def OAI.Paper256.coneResidual line 18
4. theorem OAI.Paper256.continuousAt_symInverse line 21
5. theorem OAI.Paper256.continuous_phiSym line 32
6. theorem OAI.Paper256.positive_shift line 35
7. theorem OAI.Paper256.continuousAt_coneResidual line 39
8. theorem OAI.Paper256.continuousOn_coneResidual line 49