law le0
import lawful-arrays@0.1.0.0/proof_index.bend as ProofIndeximport Base
353law le0:
354 for +y: Nat
355 {Nat.is_le(0n, y) == True{} : Bool}
import lawful-arrays@0.1.0.0/proof_index.bend as ProofIndeximport Base
353law le0:
354 for +y: Nat
355 {Nat.is_le(0n, y) == True{} : Bool}