law pos_zero
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/value.bend as Valueimport Base
224law pos_zero:
225 for +n: Nat
226 {pos(n, 0n) == 0n : Nat}
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/value.bend as Valueimport Base
224law pos_zero:
225 for +n: Nat
226 {pos(n, 0n) == 0n : Nat}