~/jendhub

law add_one

bend-ml-llama@0.2.1.0 · main.bend:54

import bend-ml-llama@0.2.1.0/main.bend as BendMlLlama
import Base

54law add_one:
55  for a: Nat
56  {Nat.add(a, 1n) == 1n+a : Nat}

Uses (2)

Used by (0)

No other definition uses this definition.