def bc

bend-collections-laws-math@1.0.0.0 · proofs/math/natural/inverse.bend:24

import bend-collections-laws-math@1.0.0.0/proofs/math/natural/inverse.bend as Inverse

import Base
import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as M

24def bc(bz: M.Bezout) -> Nat:
25  match bz:
26    case M.BZ{g, s}:
27      s

Uses (2)

Used by (5)