mathlib
9962bfa7 - doc(data/monoid_algebra): fix typo (#4317)

Commit

5 years ago

doc(data/monoid_algebra): fix typo (#4317)

References

#4925 - Make prime-avoidance branch build

Author

gebner

gebner

Parents

Loading