WhoCites Definitions mb events Sections GenAutomata Doc

NOTE: This operator coercing a to a Prop is normally invisible since it is pretty obvious when it is needed.
Who Cites assert?
assertDef b == if b True else False fi
Thm* b:. b Prop

Syntax:b has structure: assert(b)

About:
boolifthenelseassertmemberpropfalsetrueall!abstraction

WhoCites Definitions mb events Sections GenAutomata Doc