(3steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc

At: fnot wf 1
1. x: Formula

x Formula
By: Unfold `fnot` 0
Generated subgoal:

1 inr(inl(x)) Formula

About:
inlinrmember

(3steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc