Thms Turing Sections NuprlLIB Doc

tidentity Def Id == Id

Thm* Id AA

identity Def Id(x) == x

Thm* Id AA