F32.neg_mag: law of bend-lawful-stdlib@0.1.0.0
Import: import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32
Lines 585-590 of bend-lawful-stdlib@0.1.0.0/src/float/f32.bend: https://jend.leeeet.dev/read.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/f32.bend&start_line=585&end_line=590

import Base

# |-a| is |a|, bit for bit
law neg_mag:
  for ~ng: NegOk()
  for +a: F32
  for ka: IsKey(key(a))
  {mag(a) == mag(F32.neg(a)) : Word(31n)}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.sym
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.neg
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/f32.bend&name=IsKey
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/f32.bend&name=NegOk
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/f32.bend&name=key
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/f32.bend&name=mag
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/f32.bend&name=neg_bits
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/f32.bend&name=neg_mag.bits