def ends_zero

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/natfuel.bend:42

import Base

42def ends_zero(+f: Nat, +a: Nat) -> {ends(f, a, 0n) == True{} : Bool}:
43  match f:
44    case 0n:
45      {==}
46    case 1n+g:
47      {==}