~/jendhub

def sq

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/w64sqrt.bend:29

import bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64sqrt.bend as W64sqrt
import Base

29def sq(+n: Nat) -> Nat:
30  Nat.mul(n, n)

Uses (2)

Used by (13)