Equal.sym: law of Base
Import: import Base
Lines 535-540 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=535&end_line=540

import Base

law Equal.sym:
  for -A: Type
  for -a: A
  for -b: A
  for  e: {a == b : A}
  {b == a : A}

Uses (0):