OAI/NumberTheory/Ostmann/Arithmetic/MovingPatternDiagonalConditions.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The complete diagonal arithmetic data under the original prime priors

  1. theorem OAI.Ostmann.movingPattern_diagonal_conditions line 13