OAI/Combinatorics/UniformKServer/EpochCut.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniformKServer.EpochCut.cut line 13
2. theorem OAI.UniformKServer.EpochCut.cut_append line 21
3. theorem OAI.UniformKServer.EpochCut.cut_nonempty line 31
4. theorem OAI.UniformKServer.EpochCut.tail_shorter line 36
5. theorem OAI.UniformKServer.EpochCut.split_cut line 43