The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Inverse
Given an Isomorphism,
the inverse of is a Morphism
such that both of the following hold: