add_left_cancel_iff — Mathlib · SciLib

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

add_left_cancel_iff

Mathlib.Data.Nat.PartENat

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

← MathLib Explorer