~/jendhub

law Map.msb.u

Base · base.bend:2680

import Base
2680law Map.msb.u:
2681  for n: Nat
2682  for +x: U32
2683  Nat

Uses (4)

Used by (2)