Theorem Continuous.curry_right

Modification history