mathlib3
62e8311c - fix(data/set/semiring): fix lemma name (#18545)

Commit

2 years ago

fix(data/set/semiring): fix lemma name (#18545) This was a typo by me

Author

eric-wieser

eric-wieser

Parents

Loading