Nuprl Definition : eq_knd
a = b == KindDeq a b
Definitions occuring in Statement :
Kind-deq: KindDeq,
apply: f a
FDL editor aliases :
eq_knd
Latex:
a = b == KindDeq a b
Date html generated:
2016_05_16-AM-10_58_06
Last ObjectModification:
2012_07_01-PM-11_41_48
Theory : event-ordering
Home
Index