Theorem ExpChar.neg_one_pow_expChar

Modification history