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

At: K not wf 1
1. p:

p
By: Unfold `K_not` 0
Generated subgoal:

1 case p: 3 3; 3 3; 3 3;

About:
member

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