// This prints the left floatting menu
Dedukti    Load Matita      Load Coq         Load Lean        Load PVS         Load OpenTheory Load
Dedukti-jumb

Theorem

nat.le_plus_b

Statement

∀ b n m, (n + b) ≤ m ⇒ n ≤ m

Main Dependencies