Turing
Sections
NuprlLIB
Doc
identity
Def
Id(x) == x
Thm* Id
A
A