formula rank Sections ClassicalProps(jlc) Doc

Def Formula == rec(formula.Var+formula+(formulaformula)+(formulaformula)+(formulaformula))

is mentioned by

Thm* Formula[formula_rank_wf]

In prior sections: formula

Try larger context: ClassicalProps(jlc)

formula rank Sections ClassicalProps(jlc) Doc