OAI/Combinatorics/UniformKServer/WrapperTyped.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.UniformKServer.UniformWrapper.TC line 14
2. abbrev OAI.UniformKServer.UniformWrapper.tcRows line 15
3. abbrev OAI.UniformKServer.UniformWrapper.tcN line 17
4. abbrev OAI.UniformKServer.UniformWrapper.tcInitial line 19
5. abbrev OAI.UniformKServer.UniformWrapper.tcLabel line 21
6. abbrev OAI.UniformKServer.UniformWrapper.tcNext line 25
7. def OAI.UniformKServer.UniformWrapper.represents line 31
8. theorem OAI.UniformKServer.UniformWrapper.sample_bound line 37
9. theorem OAI.UniformKServer.UniformWrapper.typed_step line 48
10. theorem OAI.UniformKServer.UniformWrapper.initial_represents line 75