OAI/NumberTheory/Ostmann/Arithmetic/MovingFieldBulkComparison.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Good-matching decay for the separated field spectator diagrams

  1. theorem OAI.Ostmann.moving_field_good_spectator_comparison line 11