WhoCites
Definitions
graph
1
1
Sections
Graphs
Doc
Who Cites tidentity?
tidentity
Def Id == Id
Thm*
A:Type. Id
A
A
identity
Def
Id(x) == x
Thm*
A:Type. Id
A
A
Syntax:
Id
has structure:
tidentity(T)
About:
WhoCites
Definitions
graph
1
1
Sections
Graphs
Doc
A:Type. Id 
A
AA:Type. Id AAA:Type. Id AAA:Type. Id AA
