Theorem pow_right_strictMono

Modification history