mathlib3
9921fe71 - fix(ring_theory/algebra): Fix typo "algbera" (#4337)

Commit

5 years ago

fix(ring_theory/algebra): Fix typo "algbera" (#4337) Introduced in e57fc3d6c142835dc8566aa28e812f7688f14512

References

Author

eric-wieser

Parents