HoTT/HoTT — pull request #537 by JasonGross (2014-09-29 16:42:57+00:00)
Title: Improve arguments for [morphism_inverse]

When we turn off [Printing Notations], we want to see the morphism
that we are inverting.