mathlib
b5eb0429 - feat(ring_theory/integral_closure): finite = integral + finite_type (#15970)

Commit

3 years ago

feat(ring_theory/integral_closure): finite = integral + finite_type (#15970)

Author

erdOne

erdOne

Parents

Loading