Def CategoryTheory.terminalExponentiable

Modification history