Nuprl Definition : mprime_ty
Prime(g) == {x:|g|| IsPrime(x)}
Definitions occuring in Statement :
mprime: IsPrime(a),
set: {x:A| B[x]} ,
grp_car: |g|
Definitions occuring in definition :
set: {x:A| B[x]} ,
grp_car: |g|,
mprime: IsPrime(a)
Latex:
Prime(g) == \{x:|g|| IsPrime(x)\}
Date html generated:
2016_05_16-AM-07_43_53
Last ObjectModification:
2015_09_23-AM-09_51_52
Theory : factor_1
Home
Index