Nuprl Definition : type-mismatch

type-mismatch(f; A; x; B) ==  ⋅


Definitions occuring in Statement :  it: ⋅
Definitions occuring in definition :  it: ⋅
Latex:
type-mismatch(f;  A;  x;  B)  ==    \mcdot{}


Date html generated: 2016_05_15-PM-03_24_34
Last ObjectModification: 2015_09_23-AM-07_43_09

Theory : general


Home Index