Theorem pow_mono

Modification history