OAI/Computability/DegreeRigidity/OrdinalCodes/OrdinalProductReplacement.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.OrdinalArithmetic.productSigma line 9
2. theorem OAI.TuringRigidity.OrdinalArithmetic.productSigma_sentence line 12
3. theorem OAI.TuringRigidity.OrdinalArithmetic.productSigma_sourceT line 14
4. def OAI.TuringRigidity.OrdinalArithmetic.multiplePairSigma line 21
5. theorem OAI.TuringRigidity.OrdinalArithmetic.multiplePairSigma_sourceT line 25
6. theorem OAI.TuringRigidity.OrdinalArithmetic.ordinal_multiple_graph_internal line 59