Index of /xml/CoRN/algebra/CRing_Homomorphisms

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	899
	RingHom.ind.types.xml.gz	2004-11-09 11:10	205
	RingHom.ind.xml.gz	2004-11-09 11:10	837
	RingHom_Definition/	2005-07-05 08:13	-
	RingHom_Lemmas/	2005-07-05 08:13	-
	RingHom_ind.con.body.xml.gz	2004-11-09 11:10	442
	RingHom_ind.con.types.xml.gz	2004-11-09 11:10	1.3K
	RingHom_ind.con.xml.gz	2004-11-09 11:10	1.0K
	RingHom_rec.con.body.xml.gz	2004-11-09 11:10	441
	RingHom_rec.con.types.xml.gz	2004-11-09 11:10	212
	RingHom_rec.con.xml.gz	2004-11-09 11:10	1.0K
	RingHom_rect.con.body.xml.gz	2004-11-09 11:10	1.1K
	RingHom_rect.con.types.xml.gz	2004-11-09 11:10	214
	RingHom_rect.con.xml.gz	2004-11-09 11:10	1.0K
	fun_pres_mult.con.body.xml.gz	2004-11-09 11:10	1.7K
	fun_pres_mult.con.types.xml.gz	2004-11-09 11:10	220
	fun_pres_mult.con.xml.gz	2004-11-09 11:10	285
	fun_pres_plus.con.body.xml.gz	2004-11-09 11:10	1.8K
	fun_pres_plus.con.types.xml.gz	2004-11-09 11:10	220
	fun_pres_plus.con.xml.gz	2004-11-09 11:10	285
	fun_pres_unit.con.body.xml.gz	2004-11-09 11:10	939
	fun_pres_unit.con.types.xml.gz	2004-11-09 11:10	219
	fun_pres_unit.con.xml.gz	2004-11-09 11:10	284
	rh1.con.body.xml.gz	2004-11-09 11:10	1.0K
	rh1.con.types.xml.gz	2004-11-09 11:10	1.1K
	rh1.con.xml.gz	2004-11-09 11:10	458
	rh2.con.body.xml.gz	2004-11-09 11:10	1.0K
	rh2.con.types.xml.gz	2004-11-09 11:10	1.1K
	rh2.con.xml.gz	2004-11-09 11:10	458
	rh3.con.body.xml.gz	2004-11-09 11:10	1.0K
	rh3.con.types.xml.gz	2004-11-09 11:10	1.1K
	rh3.con.xml.gz	2004-11-09 11:10	455
	rh_apzero.con.body.xml.gz	2004-11-09 11:10	7.8K
	rh_apzero.con.types.xml.gz	2004-11-09 11:10	8.7K
	rh_apzero.con.xml.gz	2004-11-09 11:10	1.1K
	rh_pres_minus.con.body.xml.gz	2004-11-09 11:10	8.6K
	rh_pres_minus.con.types.xml.gz	2004-11-09 11:10	10K
	rh_pres_minus.con.xml.gz	2004-11-09 11:10	1.5K
	rh_pres_mult.con.body.xml.gz	2004-11-09 11:10	2.4K
	rh_pres_mult.con.types.xml.gz	2004-11-09 11:10	5.1K
	rh_pres_mult.con.xml.gz	2004-11-09 11:10	1.8K
	rh_pres_plus.con.body.xml.gz	2004-11-09 11:10	2.5K
	rh_pres_plus.con.types.xml.gz	2004-11-09 11:10	5.4K
	rh_pres_plus.con.xml.gz	2004-11-09 11:10	1.9K
	rh_pres_unit.con.body.xml.gz	2004-11-09 11:10	1.4K
	rh_pres_unit.con.types.xml.gz	2004-11-09 11:10	2.1K
	rh_pres_unit.con.xml.gz	2004-11-09 11:10	1.0K
	rh_pres_zero.con.body.xml.gz	2004-11-09 11:10	14K
	rh_pres_zero.con.types.xml.gz	2004-11-09 11:10	14K
	rh_pres_zero.con.xml.gz	2004-11-09 11:10	1.0K
	rh_strext.con.body.xml.gz	2004-11-09 11:10	4.7K
	rh_strext.con.types.xml.gz	2004-11-09 11:10	7.0K
	rh_strext.con.xml.gz	2004-11-09 11:10	1.3K
	rhmap.con.body.xml.gz	2004-11-09 11:10	1.1K
	rhmap.con.types.xml.gz	2004-11-09 11:10	206
	rhmap.con.xml.gz	2004-11-09 11:10	603