Kleene Sections ClassicalProps(jlc) Doc

Def p == case p: 3 3; 3 3; 3 3;

is not mentioned in this or prior sections.

Try larger context: ClassicalProps(jlc)

Kleene Sections ClassicalProps(jlc) Doc