OAI/NumberTheory/OrdinaryCorrelations/HighTrace/Symbolic.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PrivateFamily.Test.symbolic line 24
2. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PrivateFamily.Test.symbolic_eval line 34
3. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PrivateFamily.Test.symbolic_coefficient line 57
4. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PrivateFamily.Test.symbolic_support line 77
5. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PrivateFamily.Test.symbolic_own_absent line 95
6. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PrivateFamily.Test.symbolic_factor_card line 104
7. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PrivateFamily.Test.symbolic_coeff_bound line 120
8. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PrivateFamily.Test.symbolic_size line 138