WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites btrue?
btrueDef true == inl()
Thm* true

Syntax:true has structure: btrue

About:
boolbtrueitinlmember!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc