OAI/NumberTheory/Ostmann/Conclusion/BulkPositionPermutation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.Conclusion.leafBulkPermutation line 9
2. theorem OAI.Ostmann.Conclusion.leafBulkPermutation_apply_bulk line 13
3. theorem OAI.Ostmann.Conclusion.leafBulkPermutation_apply_leaf line 23
4. theorem OAI.Ostmann.Conclusion.leafBulkPermutation_apply_nonbulk line 29
5. theorem OAI.Ostmann.Conclusion.leafBulkPermutation_source line 36
6. def OAI.Ostmann.Conclusion.leafBulkAssignmentPermutation line 46
7. theorem OAI.Ostmann.Conclusion.leafBulkAssignmentPermutation_val line 54
8. theorem OAI.Ostmann.Conclusion.leafBulkAssignmentPermutation_leaf_val line 63
9. theorem OAI.Ostmann.Conclusion.leafBulkAssignmentPermutation_mass line 73