Theorem Int.neg_one_pow_ne_zero

Modification history