zetaDeltaSet.lean:3:0-3:7: warning: declaration uses `sorry`
zetaDeltaSet.lean:9:0-9:7: warning: declaration uses `sorry`