Theorem Continuous.curry_left

Modification history