def cv_3

bend-kit-collections@0.1.4.1 · nat_order.bend:186

import Base

186def cv_3(+a: Nat, +b: Nat, +c: Nat, +d: Nat) -> {c == F(L{0n, 0n, 0n, 1n, 0n}, VS{a, b, c, d}) : Nat}:
187  az2(c)