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

	Name	Last modified	Size	Description
	Parent Directory		-
	Lemmas/	2006-03-28 19:04	-
	Z_group_nat_fun_mult_pos.con.body.xml.gz	2006-03-28 19:04	2.9K
	Z_group_nat_fun_mult_pos.con.types.xml.gz	2006-03-28 19:04	3.9K
	Z_group_nat_fun_mult_pos.con.xml.gz	2006-03-28 19:04	919
	Z_to_group_nat_eq_pos.con.body.xml.gz	2006-03-28 19:04	2.4K
	Z_to_group_nat_eq_pos.con.types.xml.gz	2006-03-28 19:04	3.2K
	Z_to_group_nat_eq_pos.con.xml.gz	2006-03-28 19:04	721
	Z_to_group_nat_fun_comp.con.body.xml.gz	2006-03-28 19:04	3.5K
	Z_to_group_nat_fun_comp.con.types.xml.gz	2006-03-28 19:04	5.1K
	Z_to_group_nat_fun_comp.con.xml.gz	2006-03-28 19:04	882
	Z_to_group_nat_inv.con.body.xml.gz	2006-03-28 19:04	2.4K
	Z_to_group_nat_inv.con.types.xml.gz	2006-03-28 19:04	4.0K
	Z_to_group_nat_inv.con.xml.gz	2006-03-28 19:04	780
	Z_to_group_nat_neg.con.body.xml.gz	2006-03-28 19:04	1.6K
	Z_to_group_nat_neg.con.types.xml.gz	2006-03-28 19:04	2.3K
	Z_to_group_nat_neg.con.xml.gz	2006-03-28 19:04	811
	Z_to_group_nat_unit.con.body.xml.gz	2006-03-28 19:04	3.1K
	Z_to_group_nat_unit.con.types.xml.gz	2006-03-28 19:04	4.5K
	Z_to_group_nat_unit.con.xml.gz	2006-03-28 19:04	776
	Zopp1.con.body.xml.gz	2006-03-28 19:04	2.3K
	Zopp1.con.types.xml.gz	2006-03-28 19:04	2.3K
	Zopp1.con.xml.gz	2006-03-28 19:04	440
	Zopp2.con.body.xml.gz	2006-03-28 19:04	2.3K
	Zopp2.con.types.xml.gz	2006-03-28 19:04	2.3K
	Zopp2.con.xml.gz	2006-03-28 19:04	439
	group_power_0.con.body.xml.gz	2006-03-28 19:04	965
	group_power_0.con.types.xml.gz	2006-03-28 19:04	1.9K
	group_power_0.con.xml.gz	2006-03-28 19:04	890
	group_power_1.con.body.xml.gz	2006-03-28 19:04	1.5K
	group_power_1.con.types.xml.gz	2006-03-28 19:04	2.4K
	group_power_1.con.xml.gz	2006-03-28 19:04	656
	group_power_S.con.body.xml.gz	2006-03-28 19:04	2.5K
	group_power_S.con.types.xml.gz	2006-03-28 19:04	11K
	group_power_S.con.xml.gz	2006-03-28 19:04	1.0K
	group_power_inv.con.body.xml.gz	2006-03-28 19:04	7.3K
	group_power_inv.con.types.xml.gz	2006-03-28 19:04	31K
	group_power_inv.con.xml.gz	2006-03-28 19:04	904
	group_power_mult.con.body.xml.gz	2006-03-28 19:04	22K
	group_power_mult.con.types.xml.gz	2006-03-28 19:04	26K
	group_power_mult.con.xml.gz	2006-03-28 19:04	1.0K
	group_power_plus.con.body.xml.gz	2006-03-28 19:04	1.2K
	group_power_plus.con.types.xml.gz	2006-03-28 19:04	2.9K
	group_power_plus.con.xml.gz	2006-03-28 19:04	1.1K
	nat_to_group_comp.con.body.xml.gz	2006-03-28 19:04	1.8K
	nat_to_group_comp.con.types.xml.gz	2006-03-28 19:04	2.6K
	nat_to_group_comp.con.xml.gz	2006-03-28 19:04	859
	nat_to_group_mult.con.body.xml.gz	2006-03-28 19:04	4.2K
	nat_to_group_mult.con.types.xml.gz	2006-03-28 19:04	4.7K
	nat_to_group_mult.con.xml.gz	2006-03-28 19:04	823
	nat_to_group_unit.con.body.xml.gz	2006-03-28 19:04	2.5K
	nat_to_group_unit.con.types.xml.gz	2006-03-28 19:04	3.4K
	nat_to_group_unit.con.xml.gz	2006-03-28 19:04	758
	pos_abs_comp.con.body.xml.gz	2006-03-28 19:04	2.8K
	pos_abs_comp.con.types.xml.gz	2006-03-28 19:04	4.0K
	pos_abs_comp.con.xml.gz	2006-03-28 19:04	590