Theorem is_unit_pow_succ_iff

Modification history