Nuprl Definition : mk_dset
mk_dset(T, eq) == <T, eq, eq>
Definitions occuring in Statement :
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>
Latex:
mk\_dset(T, eq) == <T, eq, eq>
Date html generated:
2016_05_15-PM-00_04_06
Last ObjectModification:
2015_09_23-AM-06_24_01
Theory : sets_1
Home
Index