Theorem pow_left_strictMonoOn

Modification history