not_char_dvd — Mathlib · SciLib

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

not_char_dvd

Mathlib.Algebra.CharP.Defs

URI: https://scilib.ai/kg/mathlib#NeZero.not_char_dvd

← MathLib Explorer