Theorem OrderHom.curry_apply

Modification history