OAI/NumberTheory/OrdinaryCorrelations/HighTrace/SupportEqUsed.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.WitnessConfiguration.support_eq_used line 22
2. def OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.WitnessConfiguration.name line 26
3. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.WitnessConfiguration.values_name line 29
4. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.WitnessConfiguration.selected_mem_support line 35
5. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.WitnessConfiguration.modulus_mem_support line 40
6. def OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.WitnessConfiguration.template line 45
7. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.WitnessConfiguration.template_selected line 55
8. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.WitnessConfiguration.template_modulus line 60
9. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.WitnessConfiguration.template_expression line 65
10. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.WitnessConfiguration.template_wellFormed line 71
11. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.WitnessConfiguration.template_admissible line 83