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