In mathematical contexts with canonical or natural isomorphisms, the distinction between existential...
This proposition has not been edited since the history system was added.