Commit 2020-09-24 20:51 675f5d47
View on Github →feat(algebra/char_p): nontrivial_of_char_ne_one (#4232)
Also renames false_of_nonzero_of_char_one
to false_of_nontrivial_of_char_one
Snippet from the Witt project
feat(algebra/char_p): nontrivial_of_char_ne_one (#4232)
Also renames false_of_nonzero_of_char_one
to false_of_nontrivial_of_char_one
Snippet from the Witt project