Defs

📁 Source: Mathlib/RingTheory/IntegralClosure/IsIntegral/Defs.lean

Statistics

Metric	Count
Definitions IsIntegralElem	1
Theorems	0
Total	1

RingHom

Definitions

Name	Category	Theorems
IsIntegralElem 📖	MathDef	9 math math: isIntegralElem_one, Polynomial.Monic.quotient_isIntegralElem, isIntegralElem_map, IsIntegralElem.neg_iff, isIntegralElem_leadingCoeff_mul, IsIntegralElem.map_iff, isIntegralElem_localization_at_leadingCoeff, isIntegralElem_zero, is_integral_localization_at_leadingCoeff

---

← Back to Index