Nuprl Definition : minus-monomial
minus-monomial(m) == let c,vs = m in <-c, vs>
Definitions occuring in Statement :
spread: spread def,
pair: <a, b>,
minus: -n
Definitions occuring in definition :
spread: spread def,
pair: <a, b>,
minus: -n
FDL editor aliases :
minus-monomial
Latex:
minus-monomial(m) == let c,vs = m in <-c, vs>
Date html generated:
2016_05_14-AM-07_02_32
Last ObjectModification:
2015_09_22-PM-05_51_47
Theory : omega
Home
Index