Def CategoryTheory.binaryProductExponentiable

Modification history