mathlib
abc335c2 - chore(algebra/char_p/basic): generalize to non_assoc_semiring

Commit

4 years ago

chore(algebra/char_p/basic): generalize to non_assoc_semiring

Author

eric-wieser

eric-wieser

Parents

Loading