Theorem pow_le_pow_iff

Modification history