lazyListRotateUnfoldProof.lean:18:4-18:10: warning: declaration uses `sorry`
lazyListRotateUnfoldProof.lean:18:4-18:10: warning: declaration uses `sorry`
lazyListRotateUnfoldProof.lean:18:4-18:10: warning: declaration uses `sorry`
lazyListRotateUnfoldProof.lean:29:36-29:42: warning: declaration uses `sorry`
lazyListRotateUnfoldProof.lean:27:8-27:18: warning: declaration uses `sorry`