Nuprl Definition : eq_knd
a = b == KindDeq a b
Definitions occuring in Statement :
Kind-deq: KindDeq
,
apply: f a
FDL editor aliases :
eq_knd
a = b == KindDeq a b
Date html generated:
2015_07_17-AM-09_13_02
Last ObjectModification:
2012_07_01-PM-11_41_48
Home
Index