Theorem Odd.zpow_nonpos_iff

Modification history