P 
P
A:Prop. SqStable(A) 
PropT == {:True| T }A:Prop. A Prop| Who Cites sq stable? | |
| sq_stable | Def SqStable(P) == P P |
| Thm* A:Prop. SqStable(A) Prop | |
| squash | Def T == {:True| T } |
| Thm* A:Prop. A Prop |
| Syntax: | SqStable(P) | has structure: | sq_stable(P) |
About:
 |  |  |  |  |  |  |