OAI/Analysis/FreeWords/TransportTestsDefinitions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.KKFiniteTransport.RelWord line 18
2. inductive OAI.KKFiniteTransport.TransportTest line 21
3. def OAI.KKFiniteTransport.transportPair line 27
4. def OAI.KKFiniteTransport.modelWord line 30
5. def OAI.KKFiniteTransport.testValue line 33
6. def OAI.KKFiniteTransport.FiniteTransportTests line 40