def lt_zero

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

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

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

673def lt_zero(+number: Nat, proof: Shape.LT(number, 0n)) -> Empty:
674  match number:
675    case 0n:
676      match proof:
677    case 1n+p:
678      match proof:

Uses (3)

Used by (2)