OAI/NumberTheory/Ostmann/Construction/FinalPermutationComparison.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The final comparison for the constructed parity-preserving family
- theorem
OAI.Ostmann.final_permutation_comparisonline 12