WhoCites Definitions mb hybrid Sections GenAutomata Doc

Who Cites all?
allDef x:A. B(x) == x:AB(x)

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

About:
functionall!abstraction

WhoCites Definitions mb hybrid Sections GenAutomata Doc