natCast_eq_natCast_mod — Mathlib · SciLib

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

natCast_eq_natCast_mod

Mathlib.Algebra.CharP.Basic

URI: https://scilib.ai/kg/mathlib#CharP.natCast_eq_natCast_mod

← MathLib Explorer