`OAI/Combinatorics/Progressions/Results/`

33 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

Basic.lean 13 declarations
Conclusions.lean 4 declarations
FullLibrary.lean 0 declarations
LinearFormsBasic.lean 10 declarations
Reciprocal.lean 6 declarations
Statements.lean 0 declarations