Theorem pow_right_mono₀

Modification history