~/jendhub

def egcd_bezout

bend-collections-laws-math@1.0.0.0 · proofs/math/number/proof.bend:34

import bend-collections-laws-math@1.0.0.0/proofs/math/number/proof.bend as Proof
import Base
import bend-collections-laws-math@1.0.0.0/spec/math/number.bend as SN
import bend-collections-laws-math@1.0.0.0/proofs/math/number/egcd.bend as EG

34def egcd_bezout(+a: Nat, +b: Nat) -> SN.Egcd.bezout(a, b):
35  EG.egcd_bezout(a, b)

Uses (3)

Used by (0)

No other definition uses this definition.