Derive lemmas with arrow-laws in continuation form for easier rewriting (#208)
Derive lemmas with arrow-laws in continuation form for easier rewriting (#208)


project-oak/silveroak,project-oak/silveroak,project-oak/silveroak