sat lemmas Sections ClassicalProps(jlc) Doc

Def P Q == Q P

In prior sections: core well fnd