mathlib3
56734db1 - feat(ring_theory/adjoin_root): adjoin_root is noetherian (#15737)

Commit

3 years ago

feat(ring_theory/adjoin_root): adjoin_root is noetherian (#15737)

Author

alexjbest

alexjbest

Parents

Loading