OAI/Combinatorics/TriangleRemoval/Process/MapOutput.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SharpTerminalLeave.ExposureTree.mapOutput line 19
  2. theorem OAI.SharpTerminalLeave.ExposureTree.mapOutput_done line 23
  3. theorem OAI.SharpTerminalLeave.ExposureTree.mapOutput_bind line 26
  4. theorem OAI.SharpTerminalLeave.ExposureTree.bind_mapOutput line 33
  5. theorem OAI.SharpTerminalLeave.ExposureTree.mapOutput_comp line 40
  6. theorem OAI.SharpTerminalLeave.ExposureTree.mapOutput_id line 46
  7. theorem OAI.SharpTerminalLeave.ExposureTree.fresh_mapOutput line 51
  8. theorem OAI.SharpTerminalLeave.ExposureTree.freshLog_mapOutput line 57
  9. def OAI.SharpTerminalLeave.ExposureTree.checkNoneTrace line 65
  10. theorem OAI.SharpTerminalLeave.ExposureTree.checkNoneTrace_outcome line 72
  11. structure OAI.SharpTerminalLeave.QueryCall line 92
  12. def OAI.SharpTerminalLeave.QueryCall.keys line 97
  13. def OAI.SharpTerminalLeave.tracedGridQuery line 100
  14. theorem OAI.SharpTerminalLeave.tracedGridQuery_outcome line 115