Nuprl Definition : dmodule
A-DModule == {m:A-Module| IsEqFun(m.car;m.eq)}
Definitions occuring in Statement :
module: A-Module,
alg_eq: a.eq,
alg_car: a.car,
eqfun_p: IsEqFun(T;eq),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
module: A-Module,
eqfun_p: IsEqFun(T;eq),
alg_car: a.car,
alg_eq: a.eq
Latex:
A-DModule == \{m:A-Module| IsEqFun(m.car;m.eq)\}
Date html generated:
2016_05_16-AM-07_26_24
Last ObjectModification:
2015_09_23-AM-09_51_00
Theory : algebras_1
Home
Index