OAI/Computability/WLIdentification/ProductPresentation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.WLIdentification.FinitePresentation.ProductRealizer line 10
2. def OAI.WLIdentification.FinitePresentation.ProductRealizer.comp line 21
3. def OAI.WLIdentification.FinitePresentation.ProductRealizer.sumCases line 26
4. def OAI.WLIdentification.FinitePresentation.ProductRealizer.identity line 31
5. def OAI.WLIdentification.FinitePresentation.ProductRealizer.concat line 36
6. def OAI.WLIdentification.FinitePresentation.ProductRealizer.inverse line 68