mathlib
9c886ffb - chore(ring_theory): typo fix (#9067)
Commit
View On GitHub
Commit
4 years ago
chore(ring_theory): typo fix (#9067) `principal_idea_ring` -> `principal_ideal_ring`
Author
Vierkantor Vierkantor
Parents
f8cfed4d
FAQ Terms Privacy Refunds Impressum
Loading