get_eq_iff_eq_some — Mathlib · SciLib

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

get_eq_iff_eq_some

Mathlib.Data.Nat.PartENat

URI: https://scilib.ai/kg/mathlib#PartENat.get_eq_iff_eq_some

← MathLib Explorer