OAI/NumberTheory/Ostmann/Construction/FormulaCoprimality.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The coprimality error with constructed history degree and value budgets

  1. theorem OAI.Ostmann.formula_coprimality_removal line 11