PrintForm Definitions discrete jlc Sections Support(jlc) Doc

At: discrete atom

Discrete{Atom}
By:
Unfold `discrete` 0
THEN
UnivCD
THEN
ProveDecidable
Generated subgoals:

None

About:
atom

PrintForm Definitions discrete jlc Sections Support(jlc) Doc