Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebra.is_integral_of_finite

Modification history

2022-02-02 13:59
src/ring_theory/algebraic.lean
refactor(ring_theory): clean up `algebraic_iff_integral` (#11773) …
Added algebra.is_integral_of_finiteView on Github →