~/jendhub

def nat_equal_self

bendtorch-core@0.1.0.0 · src/tensor/core_PROOF.bend:213

import bendtorch-core@0.1.0.0/src/tensor/core_PROOF.bend as CorePROOF
import Base

213def nat_equal_self(+n: Nat) -> {Nat.is_eq(n, n) == True{} : Bool}:
214  match n:
215    case 0n:
216      {==}
217    case 1n+p:
218      nat_equal_self(p)

Uses (3)

Used by (1)