WhoCites
Definitions
mb
declaration
Sections
GenAutomata
Doc
Who Cites ptn
con?
ptn_con
Def ptn_con(T) == Atom+
+Atom+(T
T)
Thm*
T:Type. ptn_con(T)
Type
About:
WhoCites
Definitions
mb
declaration
Sections
GenAutomata
Doc
+Atom+(T
T)
T:Type. ptn_con(T) 
Type+Atom+(TT)T:Type. ptn_con(T) Type
