geo: \ProofImplication moved to mymath.sty
geo: fixes