OAI/Combinatorics/SumProduct/Alignment/AffineCoefficient01.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FiniteCoverObservable.finite_unit_cover_tests line 31
2. lemma OAI.FactorProgression.mean_sum_obstruction line 63
3. theorem OAI.FactorProgression.factor_cover_obstruction line 87
4. theorem OAI.AffineCoefficientTransfer.integer_pullback line 167
5. theorem OAI.AffineCoefficientTransfer.eval_bound line 187
6. theorem OAI.AffineCoefficientTransfer.progression_coefficients line 222