OAI/NumberTheory/Ostmann/Supply/UniformBalanced.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Ostmann.Supply.balanced_nonempty line 10
2. theorem OAI.Ostmann.Supply.balanced_compl line 16
3. theorem OAI.Ostmann.Supply.balanced_uniform_norm_sq line 22
4. theorem OAI.Ostmann.Supply.balanced_uniform_norm line 31
5. theorem OAI.Ostmann.Supply.balanced_uniformCoefficient_error line 41