BooleanLogic.or_associative: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/proofs/boolean_logic.bend as BooleanLogic
Lines 91-95 of stelliferous@0.0.2.0/proofs/boolean_logic.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/proofs/boolean_logic.bend&start_line=91&end_line=95

import Base

def or_associative(+first: Bool,+second: Bool,+third: Bool) ->
  {first || (second || third) == (first || second) || third : Bool}:
  match first:
    case False{}: {==}
    case True{}: {==}

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