Bool.false_or: law of bend-mathlib@0.8.1.0
Import: import bend-mathlib@0.8.1.0/bool.bend as Bool
Lines 130-133 of bend-mathlib@0.8.1.0/bool.bend: https://jend.leeeet.dev/read.txt?path=bend-mathlib@0.8.1.0/bool.bend&start_line=130&end_line=133

import Base

# False is a left identity for or: false or a is a.
law false_or:
  for -a: Bool
  {Bool.or(False{}, a) == a : Bool}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or