Put edit link on the bottom of show theorem page.
Put edit link on the bottom of show theorem page.

raphlinus/ghilbert,jkingdon/ghilbert,raphlinus/ghilbert,kryptine/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,jkingdon/ghilbert,kryptine/ghilbert