Index of /xml/Sophia-Antipolis/Algebra/Ring_facts

	Name	Last modified	Size	Description
	Parent Directory		-
	CRING_com.con.body.xml.gz	2006-03-28 19:04	371
	CRING_com.con.types.xml.gz	2006-03-28 19:04	1.7K
	CRING_com.con.xml.gz	2006-03-28 19:04	857
	CRING_mult3.con.body.xml.gz	2006-03-28 19:04	2.2K
	CRING_mult3.con.types.xml.gz	2006-03-28 19:04	2.7K
	CRING_mult3.con.xml.gz	2006-03-28 19:04	1.0K
	CRING_mult3bis.con.body.xml.gz	2006-03-28 19:04	2.9K
	CRING_mult3bis.con.types.xml.gz	2006-03-28 19:04	3.6K
	CRING_mult3bis.con.xml.gz	2006-03-28 19:04	1.0K
	CRING_mult4.con.body.xml.gz	2006-03-28 19:04	5.0K
	CRING_mult4.con.types.xml.gz	2006-03-28 19:04	5.6K
	CRING_mult4.con.xml.gz	2006-03-28 19:04	1.2K
	Commutative_rings/	2006-03-28 19:04	-
	Hom_lemmas/	2006-03-28 19:04	-
	Lemmas/	2006-03-28 19:04	-
	RING_absorbant_l.con.body.xml.gz	2006-03-28 19:04	5.5K
	RING_absorbant_l.con.types.xml.gz	2006-03-28 19:04	5.8K
	RING_absorbant_l.con.xml.gz	2006-03-28 19:04	923
	RING_absorbant_r.con.body.xml.gz	2006-03-28 19:04	5.4K
	RING_absorbant_r.con.types.xml.gz	2006-03-28 19:04	5.8K
	RING_absorbant_r.con.xml.gz	2006-03-28 19:04	917
	RING_assoc.con.body.xml.gz	2006-03-28 19:04	826
	RING_assoc.con.types.xml.gz	2006-03-28 19:04	1.4K
	RING_assoc.con.xml.gz	2006-03-28 19:04	912
	RING_comp.con.body.xml.gz	2006-03-28 19:04	2.6K
	RING_comp.con.types.xml.gz	2006-03-28 19:04	3.5K
	RING_comp.con.xml.gz	2006-03-28 19:04	1.1K
	RING_dist_l.con.body.xml.gz	2006-03-28 19:04	370
	RING_dist_l.con.types.xml.gz	2006-03-28 19:04	1.4K
	RING_dist_l.con.xml.gz	2006-03-28 19:04	1.0K
	RING_dist_r.con.body.xml.gz	2006-03-28 19:04	370
	RING_dist_r.con.types.xml.gz	2006-03-28 19:04	1.4K
	RING_dist_r.con.xml.gz	2006-03-28 19:04	1.0K
	RING_hom_ext.con.body.xml.gz	2006-03-28 19:04	1.8K
	RING_hom_ext.con.types.xml.gz	2006-03-28 19:04	2.8K
	RING_hom_ext.con.xml.gz	2006-03-28 19:04	1.8K
	RING_hom_prop.con.body.xml.gz	2006-03-28 19:04	3.2K
	RING_hom_prop.con.types.xml.gz	2006-03-28 19:04	6.5K
	RING_hom_prop.con.xml.gz	2006-03-28 19:04	2.2K
	RING_one_prop.con.body.xml.gz	2006-03-28 19:04	2.0K
	RING_one_prop.con.types.xml.gz	2006-03-28 19:04	3.2K
	RING_one_prop.con.xml.gz	2006-03-28 19:04	1.0K
	RING_op_mult_l.con.body.xml.gz	2006-03-28 19:04	3.2K
	RING_op_mult_l.con.types.xml.gz	2006-03-28 19:04	3.7K
	RING_op_mult_l.con.xml.gz	2006-03-28 19:04	881
	RING_op_mult_r.con.body.xml.gz	2006-03-28 19:04	3.2K
	RING_op_mult_r.con.types.xml.gz	2006-03-28 19:04	3.6K
	RING_op_mult_r.con.xml.gz	2006-03-28 19:04	873
	RING_unit_l.con.body.xml.gz	2006-03-28 19:04	703
	RING_unit_l.con.types.xml.gz	2006-03-28 19:04	1.7K
	RING_unit_l.con.xml.gz	2006-03-28 19:04	669
	RING_unit_r.con.body.xml.gz	2006-03-28 19:04	702
	RING_unit_r.con.types.xml.gz	2006-03-28 19:04	1.7K
	RING_unit_r.con.xml.gz	2006-03-28 19:04	667