formula
equality
Sections
ClassicalProps(jlc)
Doc
Def
Var == Atom
is mentioned
In prior sections:
var
jlc
formula
Try larger context:
ClassicalProps(jlc)
formula
equality
Sections
ClassicalProps(jlc)
Doc