Theorem pow_inf_le

Modification history