def sub_zero

bendtorch-core@0.1.0.0 · src/tensor/slice_PROOF.bend:715

import Base

715def sub_zero(+number: Nat) -> {Nat.sub(number, 0n) == number : Nat}:
716  match number:
717    case 0n:
718      {==}
719    case 1n+p:
720      {==}