OAI/NumberTheory/Ostmann/Construction/SeparatedPrimeBands.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Separated lower, bulk and upper bands from positive prime mass

  1. theorem OAI.Ostmann.exists_three_prime_bands line 12