mathlib
8ec7fcf8 - feat(ring_theory/henselian): Henselian local rings (#8986)

Commit

4 years ago

feat(ring_theory/henselian): Henselian local rings (#8986)

Author

jcommelin

jcommelin

Parents

Loading