Fix typo in Cauchy sequence definition#428

wyf027 wants to merge 1 commit into

OpenLogicProject:masterOpenLogicProject/OpenLogic:masterfrom

wyf027:codex/fix-cauchy-h-function-427wyf027/OpenLogic:codex/fix-cauchy-h-function-427Copy head branch name to clipboard