Theorem pow_left_strictMono

Modification history