WhoCites Definitions mb label Sections GenAutomata Doc

Who Cites ptn con?
ptn_conDef ptn_con(T) == Atom++Atom+(TT)
Thm* T:Type. ptn_con(T) Type

About:
productintatomunionuniversememberall!abstraction

WhoCites Definitions mb label Sections GenAutomata Doc