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