`OAI/Analysis/RecursivePotentials/`

1073 declarations, 0 contain sorry, 0 declared as axioms; 12 files

Files

Challenge.lean 41 declarations
ChallengeDefinitions.lean 159 declarations
EquivalentNorms.lean 61 declarations
JoinedGeometry.lean 110 declarations
Main.lean 51 declarations
Model.lean 221 declarations
TreeGeometry.lean 121 declarations
VariableCompletion.lean 63 declarations
VariableEstimates.lean 81 declarations
VariableLp.lean 33 declarations
VariableStability.lean 77 declarations
ZeroRootGeometry.lean 55 declarations