Theorem isUnit_pow_succ_iff

Modification history