WhoCites Definitions mb structures Sections GenAutomata Doc

Who Cites sym?
symDef Sym x,y:T. E(x;y) == a,b:T. E(a;b) E(b;a)
Thm* T:Type, E:(TTProp). Sym x,y:T. E(x,y) Prop

Syntax:Sym x,y:T. E(x;y) has structure: sym(T; x,y.E(x;y))

About:
functionuniversememberpropimpliesall!abstraction

WhoCites Definitions mb structures Sections GenAutomata Doc