Theorem zpow_lt_iff_lt

Modification history