(45steps) PrintForm Definitions formula equality Sections ClassicalProps(jlc) Doc

At: discrete Formula with rank

Discrete{Formula}
By: Analyze 0
Generated subgoal:

11. x: Formula
y:Formula. Dec(x = y)

About:
decidableequalall

(45steps) PrintForm Definitions formula equality Sections ClassicalProps(jlc) Doc