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

	Name	Last modified	Size	Description
	Parent Directory		-
	Int_power/	2006-03-28 19:04	-
	Z_to_group.con.body.xml.gz	2006-03-28 19:04	11K
	Z_to_group.con.types.xml.gz	2006-03-28 19:04	12K
	Z_to_group.con.xml.gz	2006-03-28 19:04	535
	Z_to_group_fun.con.body.xml.gz	2006-03-28 19:04	2.0K
	Z_to_group_fun.con.types.xml.gz	2006-03-28 19:04	401
	Z_to_group_fun.con.xml.gz	2006-03-28 19:04	586
	Z_to_group_fun_eq.con.body.xml.gz	2006-03-28 19:04	5.5K
	Z_to_group_fun_eq.con.types.xml.gz	2006-03-28 19:04	19K
	Z_to_group_fun_eq.con.xml.gz	2006-03-28 19:04	1.2K
	Z_to_group_nat.con.body.xml.gz	2006-03-28 19:04	21K
	Z_to_group_nat.con.types.xml.gz	2006-03-28 19:04	57K
	Z_to_group_nat.con.xml.gz	2006-03-28 19:04	539
	Z_to_group_nat_fun.con.body.xml.gz	2006-03-28 19:04	1.9K
	Z_to_group_nat_fun.con.types.xml.gz	2006-03-28 19:04	408
	Z_to_group_nat_fun.con.xml.gz	2006-03-28 19:04	599
	Zl1.con.body.xml.gz	2006-03-28 19:04	4.0K
	Zl1.con.types.xml.gz	2006-03-28 19:04	10K
	Zl1.con.xml.gz	2006-03-28 19:04	546
	Zl1_subproof.con.body.xml.gz	2006-03-28 19:04	831
	Zl1_subproof.con.types.xml.gz	2006-03-28 19:04	1.0K
	Zl1_subproof.con.xml.gz	2006-03-28 19:04	402
	Zl1_subproof0.con.body.xml.gz	2006-03-28 19:04	863
	Zl1_subproof0.con.types.xml.gz	2006-03-28 19:04	1.0K
	Zl1_subproof0.con.xml.gz	2006-03-28 19:04	429
	Zl2.con.body.xml.gz	2006-03-28 19:04	5.6K
	Zl2.con.types.xml.gz	2006-03-28 19:04	15K
	Zl2.con.xml.gz	2006-03-28 19:04	683
	Zl3.con.body.xml.gz	2006-03-28 19:04	5.5K
	Zl3.con.types.xml.gz	2006-03-28 19:04	15K
	Zl3.con.xml.gz	2006-03-28 19:04	717
	Zl4.con.body.xml.gz	2006-03-28 19:04	9.4K
	Zl4.con.types.xml.gz	2006-03-28 19:04	11K
	Zl4.con.xml.gz	2006-03-28 19:04	793
	Zl5.con.body.xml.gz	2006-03-28 19:04	6.1K
	Zl5.con.types.xml.gz	2006-03-28 19:04	17K
	Zl5.con.xml.gz	2006-03-28 19:04	498
	Zlemma1.con.body.xml.gz	2006-03-28 19:04	1.1K
	Zlemma1.con.types.xml.gz	2006-03-28 19:04	1.0K
	Zlemma1.con.xml.gz	2006-03-28 19:04	443
	Zlt_reg_l.con.body.xml.gz	2006-03-28 19:04	805
	Zlt_reg_l.con.types.xml.gz	2006-03-28 19:04	1.1K
	Zlt_reg_l.con.xml.gz	2006-03-28 19:04	485
	Zup1/	2006-03-28 19:04	-
	Zup2/	2006-03-28 19:04	-
	ax1.con.body.xml.gz	2006-03-28 19:04	1.2K
	ax1.con.types.xml.gz	2006-03-28 19:04	1.1K
	ax1.con.xml.gz	2006-03-28 19:04	314
	ax2.con.body.xml.gz	2006-03-28 19:04	1.2K
	ax2.con.types.xml.gz	2006-03-28 19:04	1.1K
	ax2.con.xml.gz	2006-03-28 19:04	314
	ax3.con.body.xml.gz	2006-03-28 19:04	420
	ax3.con.types.xml.gz	2006-03-28 19:04	592
	ax3.con.xml.gz	2006-03-28 19:04	406
	ax4.con.body.xml.gz	2006-03-28 19:04	1.3K
	ax4.con.types.xml.gz	2006-03-28 19:04	1.3K
	ax4.con.xml.gz	2006-03-28 19:04	432
	ax5.con.body.xml.gz	2006-03-28 19:04	1.0K
	ax5.con.types.xml.gz	2006-03-28 19:04	1.5K
	ax5.con.xml.gz	2006-03-28 19:04	591
	ax5_subproof.con.body.xml.gz	2006-03-28 19:04	3.0K
	ax5_subproof.con.types.xml.gz	2006-03-28 19:04	2.8K
	ax5_subproof.con.xml.gz	2006-03-28 19:04	610
	ax6.con.body.xml.gz	2006-03-28 19:04	1.0K
	ax6.con.types.xml.gz	2006-03-28 19:04	1.5K
	ax6.con.xml.gz	2006-03-28 19:04	591
	ax6_subproof.con.body.xml.gz	2006-03-28 19:04	3.0K
	ax6_subproof.con.types.xml.gz	2006-03-28 19:04	2.8K
	ax6_subproof.con.xml.gz	2006-03-28 19:04	610
	ax7.con.body.xml.gz	2006-03-28 19:04	1.2K
	ax7.con.types.xml.gz	2006-03-28 19:04	1.9K
	ax7.con.xml.gz	2006-03-28 19:04	461
	ax7_subproof.con.body.xml.gz	2006-03-28 19:04	797
	ax7_subproof.con.types.xml.gz	2006-03-28 19:04	971
	ax7_subproof.con.xml.gz	2006-03-28 19:04	383
	ax8.con.body.xml.gz	2006-03-28 19:04	635
	ax8.con.types.xml.gz	2006-03-28 19:04	784
	ax8.con.xml.gz	2006-03-28 19:04	531
	group_power.con.body.xml.gz	2006-03-28 19:04	1.2K
	group_power.con.types.xml.gz	2006-03-28 19:04	214
	group_power.con.xml.gz	2006-03-28 19:04	690
	group_square.con.body.xml.gz	2006-03-28 19:04	529
	group_square.con.types.xml.gz	2006-03-28 19:04	217
	group_square.con.xml.gz	2006-03-28 19:04	470
	nat_to_group.con.body.xml.gz	2006-03-28 19:04	1.0K
	nat_to_group.con.types.xml.gz	2006-03-28 19:04	214
	nat_to_group.con.xml.gz	2006-03-28 19:04	473
	nat_to_group_add.con.body.xml.gz	2006-03-28 19:04	3.7K
	nat_to_group_add.con.types.xml.gz	2006-03-28 19:04	4.9K
	nat_to_group_add.con.xml.gz	2006-03-28 19:04	690
	nat_to_group_com.con.body.xml.gz	2006-03-28 19:04	2.4K
	nat_to_group_com.con.types.xml.gz	2006-03-28 19:04	3.2K
	nat_to_group_com.con.xml.gz	2006-03-28 19:04	662
	nat_to_group_com2.con.body.xml.gz	2006-03-28 19:04	5.1K
	nat_to_group_com2.con.types.xml.gz	2006-03-28 19:04	6.4K
	nat_to_group_com2.con.xml.gz	2006-03-28 19:04	718
	nat_to_group_com3.con.body.xml.gz	2006-03-28 19:04	6.4K
	nat_to_group_com3.con.types.xml.gz	2006-03-28 19:04	7.2K
	nat_to_group_com3.con.xml.gz	2006-03-28 19:04	721
	nat_to_group_com4.con.body.xml.gz	2006-03-28 19:04	10K
	nat_to_group_com4.con.types.xml.gz	2006-03-28 19:04	12K
	nat_to_group_com4.con.xml.gz	2006-03-28 19:04	766
	nat_to_group_inverse.con.body.xml.gz	2006-03-28 19:04	3.0K
	nat_to_group_inverse.con.types.xml.gz	2006-03-28 19:04	4.3K
	nat_to_group_inverse.con.xml.gz	2006-03-28 19:04	767
	nat_to_group_minus.con.body.xml.gz	2006-03-28 19:04	6.9K
	nat_to_group_minus.con.types.xml.gz	2006-03-28 19:04	6.6K
	nat_to_group_minus.con.xml.gz	2006-03-28 19:04	761
	nat_to_group_minus_subproof.con.body.xml.gz	2006-03-28 19:04	17K
	nat_to_group_minus_subproof.con.types.xml.gz	2006-03-28 19:04	13K
	nat_to_group_minus_subproof.con.xml.gz	2006-03-28 19:04	535
	pos_abs.con.body.xml.gz	2006-03-28 19:04	2.1K
	pos_abs.con.types.xml.gz	2006-03-28 19:04	1.0K
	pos_abs.con.xml.gz	2006-03-28 19:04	406
	pos_abs_ok.con.body.xml.gz	2006-03-28 19:04	2.5K
	pos_abs_ok.con.types.xml.gz	2006-03-28 19:04	3.8K
	pos_abs_ok.con.xml.gz	2006-03-28 19:04	533
	pos_abs_ok_subproof.con.body.xml.gz	2006-03-28 19:04	2.6K
	pos_abs_ok_subproof.con.types.xml.gz	2006-03-28 19:04	2.3K
	pos_abs_ok_subproof.con.xml.gz	2006-03-28 19:04	531
	pos_nat_group.con.body.xml.gz	2006-03-28 19:04	5.1K
	pos_nat_group.con.types.xml.gz	2006-03-28 19:04	5.9K
	pos_nat_group.con.xml.gz	2006-03-28 19:04	647
	pos_to_group.con.body.xml.gz	2006-03-28 19:04	1.1K
	pos_to_group.con.types.xml.gz	2006-03-28 19:04	214
	pos_to_group.con.xml.gz	2006-03-28 19:04	481
	sgroup_powers.con.body.xml.gz	2006-03-28 19:04	729
	sgroup_powers.con.types.xml.gz	2006-03-28 19:04	218
	sgroup_powers.con.xml.gz	2006-03-28 19:04	551
	sgroup_powers_prop.con.body.xml.gz	2006-03-28 19:04	5.9K
	sgroup_powers_prop.con.types.xml.gz	2006-03-28 19:04	6.6K
	sgroup_powers_prop.con.xml.gz	2006-03-28 19:04	1.4K
	sgroup_powers_rev.con.body.xml.gz	2006-03-28 19:04	1.3K
	sgroup_powers_rev.con.types.xml.gz	2006-03-28 19:04	1.9K
	sgroup_powers_rev.con.xml.gz	2006-03-28 19:04	1.0K