Theorem one_le_zpow_of_nonneg

Modification history