Commit 2023-03-14 13:55 af5c2dab

View on Github →

feat: port Algebra.CharP.Two (#2873)

Estimated changes

added theorem CharTwo.add_mul_self
added theorem CharTwo.add_sq
added theorem CharTwo.bit0_eq_zero
added theorem CharTwo.bit1_eq_one
added theorem CharTwo.list_sum_sq
added theorem CharTwo.neg_eq'
added theorem CharTwo.neg_eq
added theorem CharTwo.sub_eq_add'
added theorem CharTwo.sub_eq_add
added theorem CharTwo.sum_mul_self
added theorem CharTwo.sum_sq
added theorem CharTwo.two_eq_zero
added theorem neg_one_eq_one_iff
added theorem orderOf_neg_one