mathlib3
8ce6a838 - Add `integrally_closed` and `is_integral_closure` instances

Commit

4 years ago

Add `integrally_closed` and `is_integral_closure` instances

Author

Vierkantor

Vierkantor

Committer

Vierkantor

Vierkantor

Parents

Loading