cast_eq_zero_iff' — Mathlib · SciLib

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

cast_eq_zero_iff'

Mathlib.Algebra.CharP.Defs

URI: https://scilib.ai/kg/mathlib#CharP.cast_eq_zero_iff'

← MathLib Explorer