OAI/Analysis/HyperbolicCones/ShiftValue.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.Paper256.ambient_shiftline 13 - theorem
OAI.Paper256.polynomial_shift_inverseline 17
OAI/Analysis/HyperbolicCones/ShiftValue.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Paper256.ambient_shift line 13OAI.Paper256.polynomial_shift_inverse line 17