~/jendhub

law pl_tf

lawful-bytes@0.1.1.0 · proof_list.bend:26

import lawful-bytes@0.1.1.0/proof_list.bend as ProofList
import Base

26law pl_tf:
27  for e: {True{} == False{} : Bool}
28  Empty

Uses (4)

Used by (0)

No other definition uses this definition.