comment out some part which is not working
Merge branch 'master' of https://github.com/zsparks/pi-dual
one more lemma done
Merge branch 'master' of https://github.com/zsparks/pi-dual