OAI/NumberTheory/Ostmann/Conclusion/SourcePermutation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.Conclusion.sourceSampleEquiv line 11
2. theorem OAI.Ostmann.Conclusion.sourceSampleEquiv_val line 14
3. theorem OAI.Ostmann.Conclusion.sourceSampleEquiv_mass line 17
4. def OAI.Ostmann.Conclusion.sourceAssignmentPermutation line 20
5. theorem OAI.Ostmann.Conclusion.sourceAssignmentPermutation_val line 38
6. theorem OAI.Ostmann.Conclusion.sourceAssignmentPermutation_mass line 43
7. theorem OAI.Ostmann.Conclusion.sourceAssignmentPermutation_values line 52
8. theorem OAI.Ostmann.Conclusion.regularTransform_values_perm line 59
9. theorem OAI.Ostmann.Conclusion.regularTransform_sourceAssignmentPermutation line 75