law u32_natural_injective

bendtorch-core@0.1.0.0 · src/tensor/core_LAWS.bend:225

import Base

225law u32_natural_injective:
226  for +left: U32
227  for +right: U32
228  for equal: {U32.to_nat(left) == U32.to_nat(right) : Nat}
229  {left == right : U32}