charP — Mathlib · SciLib

∫ Утверждение Mathlib

charP

Mathlib.Algebra.CharP.Algebra

URI: https://scilib.ai/kg/mathlib#IsFractionRing.charP

← MathLib Explorer