OAI/Computability/WLIdentification/CarryPresentation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.WLIdentification.FinitePresentation.Presented.option_none_code line 10
2. theorem OAI.WLIdentification.FinitePresentation.Presented.option_some_code line 11
3. def OAI.WLIdentification.FinitePresentation.Number.optionFst line 15
4. def OAI.WLIdentification.FinitePresentation.Test.optionFst line 29
5. def OAI.WLIdentification.FinitePresentation.ProductRealizer.optionCases line 44
6. def OAI.WLIdentification.FinitePresentation.ProductRealizer.singletonConstant line 51
7. def OAI.WLIdentification.FinitePresentation.ProductRealizer.carry line 56
8. def OAI.WLIdentification.FinitePresentation.ProductRealizer.congr line 86
9. def OAI.WLIdentification.FinitePresentation.ProductRealizer.cycle line 91