OAI/NumberTheory/Ostmann/Arithmetic/HistoryPairFlagBounds.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.Arithmetic.HistoryPairFlagBounds.height line 14
2. theorem OAI.Ostmann.Arithmetic.HistoryPairFlagBounds.canonical_fraction_bounds_rename line 17
3. theorem OAI.Ostmann.Arithmetic.HistoryPairFlagBounds.row_fraction_bounds line 50
4. theorem OAI.Ostmann.Arithmetic.HistoryPairFlagBounds.flags_eval_bound line 67
5. theorem OAI.Ostmann.Arithmetic.HistoryPairFlagBounds.minor_eval_bound line 84
6. theorem OAI.Ostmann.Arithmetic.HistoryPairFlagBounds.integer_flags_bound line 104
7. theorem OAI.Ostmann.Arithmetic.HistoryPairFlagBounds.integer_minor_bound line 116