WhoCites Definitions GenAutomata Sections NuprlLIB Doc

Who Cites squash?
squashDef T == {:True| T }
Thm* A:Prop. A Prop

Syntax:T has structure: squash(T)

About:
setmemberproptrueall!abstraction

WhoCites Definitions GenAutomata Sections NuprlLIB Doc