Theorem pow_right_strictMono'

Modification history