OAI/NumberTheory/Ostmann/Arithmetic/BulkAtomicProduct.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact finite atomic product integrals for the original prime cells

  1. theorem OAI.Ostmann.bulk_pi_scaled_dirac line 11
  2. theorem OAI.Ostmann.BulkIntegrand.integral_atomic_product line 33