formula equality Sections ClassicalProps(jlc) Doc

Def p == inr(inl(p))

is not mentioned in this or prior sections.

Try larger context: ClassicalProps(jlc)

formula equality Sections ClassicalProps(jlc) Doc