OAI/NumberTheory/OrdinaryCorrelations/HighTrace/SpecSegment.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PatternExpression.specSegment line 22
2. def OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PatternExpression.lineSegment line 29
3. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PatternExpression.specSegment_relabel line 35
4. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PatternExpression.lineSegment_relabel line 44
5. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PatternExpression.specSegment_source line 55
6. lemma OAI.OrdinaryCorrelations.GraphKernel.PrimeSystem.PatternExpression.lineSegment_source line 78