Theorem pow_left_monotoneOn

Modification history