Nuprl Definition : dM_opp
<1-x> == <1-x>
Definitions occuring in Statement :
dmopp: <1-i>
Definitions occuring in definition :
dmopp: <1-i>
FDL editor aliases :
dM_opp
Latex:
ə-x> == ə-x>
Date html generated:
2016_05_18-AM-11_56_33
Last ObjectModification:
2015_10_13-PM-01_21_43
Theory : cubical!type!theory
Home
Index