def cv_2

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

import Base

183def cv_2(+a: Nat, +b: Nat, +c: Nat, +d: Nat) -> {b == F(L{0n, 0n, 1n, 0n, 0n}, VS{a, b, c, d}) : Nat}:
184  az2(b)