OAI/NumberTheory/Ostmann/Conclusion/MaskedPermutation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Ostmann.Conclusion.state_coprime_values_perm line 11
2. theorem OAI.Ostmann.Conclusion.supportedRegularTransform_values_perm line 20
3. def OAI.Ostmann.Conclusion.amplitudeSamplePermutation line 32
4. theorem OAI.Ostmann.Conclusion.amplitudeSamplePermutation_mass line 41
5. theorem OAI.Ostmann.Conclusion.supportedRegularTransform_amplitudeSamplePermutation line 52