OAI/NumberTheory/Ostmann/Construction/RemainingOffDiagonal.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Ostmann.Construction.rational_tag_eq_iff_reversal_zero line 12
2. theorem OAI.Ostmann.Construction.remaining_pair_offDiagonal_test line 21
3. theorem OAI.Ostmann.Construction.refinedRowOffDiagonal_counted line 56
4. theorem OAI.Ostmann.Construction.remainingOffDiagonal_expansion line 75