Theorem Odd.zpow_pos_iff

Modification history