law Equal.sym

Base · base.bend:535

import Base

535law Equal.sym:
536  for -A: Type
537  for -a: A
538  for -b: A
539  for  e: {a == b : A}
540  {b == a : A}

Uses (0)

This definition uses no other definition.

Used by (6589)