Fix induction recursion#28

Draft

lenghuang wants to merge 8 commits intomasterfrom

fixInductionRecursion

Commits on Dec 22, 2020

Merge pull request #1 from smlhelp/master
lenghuang
authored

Commits on Jan 8, 2021

Commits on Jan 11, 2021

Commits on Jan 12, 2021

terms
lenghuang
committed
single equals
lenghuang
committed

Commits on Jan 13, 2021

increasing problem
lenghuang
committed