OAI/NumberTheory/Ostmann/Construction/DiagonalPermutationCountPositions.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Ostmann.Construction.DiagonalPermutationCount.remainingTemplate line 12
2. def OAI.Ostmann.Construction.DiagonalPermutationCount.bulkPositionSlotEquiv line 15
3. theorem OAI.Ostmann.Construction.DiagonalPermutationCount.bulkPositionSlotEquiv_symm_val line 30
4. def OAI.Ostmann.Construction.DiagonalPermutationCount.remainderPositionBlockEquiv line 34
5. theorem OAI.Ostmann.Construction.DiagonalPermutationCount.remainderPositionBlockEquiv_symm_val line 39
6. theorem OAI.Ostmann.Construction.DiagonalPermutationCount.remainderPositionBlockEquiv_get line 45
7. def OAI.Ostmann.Construction.DiagonalPermutationCount.remainderSlotBulkEquiv line 58
8. def OAI.Ostmann.Construction.DiagonalPermutationCount.remainderBulkPositionEquiv line 84
9. theorem OAI.Ostmann.Construction.DiagonalPermutationCount.remainderBulkPositionEquiv_symm_val line 88
10. theorem OAI.Ostmann.Construction.DiagonalPermutationCount.remainderSlotBulkEquiv_origin line 96
11. theorem OAI.Ostmann.Construction.DiagonalPermutationCount.remainder_bulk_card line 104
12. theorem OAI.Ostmann.Construction.DiagonalPermutationCount.remainder_nonbulk_card line 109