calc core formula lemmas now fixed for the full DEAK calculus
calc core formula lemmas now fixed for the full DEAK calculus

goodlyrottenapple/calculus-toolbox,goodlyrottenapple/calculus-toolbox,goodlyrottenapple/calculus-toolbox