~/jendhub

def dml

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64sqr.bend:340

import bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64sqr.bend as F64sqr
import Base
import bend-collections-laws-math@1.0.0.0/proofs/math/typed/natlight.bend as NL

340def dml(+x: Nat, +D: Nat, +hD: {Nat.is_lt(0n, D) == True{} : Bool}) -> {Nat.is_lt(Nat.mod(x, D), D) == True{} : Bool}:
341  NL.dml(x, D, hD)

Uses (5)

Used by (1)