Theorem pow_strictMono_right'

Modification history