Thms full sequent assignment Sections ClassicalProps(jlc) Doc

sq_stable Def SqStable(P) == P P

Thm* A:Prop. SqStable(A) Prop

About:
!abstractionimpliesallpropmember