Nuprl Definition : term-equality
term-equality{i:l}(Term) == Term ⟶ Term ⟶ Type
Definitions occuring in Statement :
function: x:A ⟶ B[x],
universe: Type
Definitions occuring in definition :
function: x:A ⟶ B[x],
universe: Type
FDL editor aliases :
term-equality
Latex:
term-equality\{i:l\}(Term) == Term {}\mrightarrow{} Term {}\mrightarrow{} Type
Date html generated:
2016_05_15-PM-01_49_04
Last ObjectModification:
2015_09_23-AM-07_37_15
Theory : parameterized!rec
Home
Index