Nuprl Definition : dmon
DMon ==  {g:Mon| IsEqFun(|g|;=b)} 
Definitions occuring in Statement : 
mon: Mon
, 
grp_eq: =b
, 
grp_car: |g|
, 
eqfun_p: IsEqFun(T;eq)
, 
set: {x:A| B[x]} 
Definitions occuring in definition : 
set: {x:A| B[x]} 
, 
mon: Mon
, 
eqfun_p: IsEqFun(T;eq)
, 
grp_car: |g|
, 
grp_eq: =b
Latex:
DMon  ==    \{g:Mon|  IsEqFun(|g|;=\msubb{})\} 
Date html generated:
2016_05_15-PM-00_06_47
Last ObjectModification:
2015_09_23-AM-06_24_15
Theory : groups_1
Home
Index