Nuprl - Some Definitions

WhoCites Definitions mb structures Sections GenAutomata Doc

	Who Cites all?

all	`Def x:A. B(x) == x:AB(x)`

Syntax: x:A. B(x) has structure: all(A; x.B(x))

About:

WhoCites Definitions mb structures Sections GenAutomata Doc