mathlib
4e0e31e7 - this too

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

4 years ago

this too

References

#11376 - feat(ring_theory/dedekind_finite): add material on dedekind finite rings/monoids

Author

alexjbest

alexjbest

Parents

FAQ Terms Privacy Refunds Impressum

Loading