Lemmas about rings of characteristic two #
This file contains results about
char_p R 2, in the
The lemmas in this file with a
_sq suffix are just special cases of the
elsewhere, with a shorter name for ease of discovery, and no need for a
[fact (prime 2)] argument.