Theorem pow_strictMono_left

Modification history