Index of /xml/CoRN/algebra/CIdeals

	Name	Last modified	Size	Description
	Parent Directory		-
	Ideal_Axioms/	2005-07-05 08:13	-
	Ideals/	2005-07-05 08:13	-
	ideal.ind.types.xml.gz	2004-11-09 11:09	193
	cipred.con.types.xml.gz	2004-11-09 11:09	195
	coideal.ind.types.xml.gz	2004-11-09 11:09	196
	idpred.con.types.xml.gz	2004-11-09 11:09	196
	ciproof.con.types.xml.gz	2004-11-09 11:09	197
	idproof.con.types.xml.gz	2004-11-09 11:09	197
	is_ideal.ind.types.xml.gz	2004-11-09 11:09	199
	ideal_rec.con.types.xml.gz	2004-11-09 11:09	201
	is_coideal.ind.types.xml.gz	2004-11-09 11:09	202
	ideal_rect.con.types.xml.gz	2004-11-09 11:09	203
	coideal_rec.con.types.xml.gz	2004-11-09 11:09	204
	coideal_rect.con.types.xml.gz	2004-11-09 11:09	206
	is_ideal_rec.con.types.xml.gz	2004-11-09 11:09	206
	is_ideal_rect.con.types.xml.gz	2004-11-09 11:09	208
	ideal_is_ideal.con.types.xml.gz	2004-11-09 11:09	209
	is_coideal_rec.con.types.xml.gz	2004-11-09 11:09	210
	is_coideal_rect.con.types.xml.gz	2004-11-09 11:09	211
	ideal_as_CSetoid.con.types.xml.gz	2004-11-09 11:09	213
	coideal_is_coideal.con.types.xml.gz	2004-11-09 11:09	214
	coideal_as_CSetoid.con.types.xml.gz	2004-11-09 11:09	216
	ideal_as_CSetoid.con.xml.gz	2004-11-09 11:09	269
	coideal_as_CSetoid.con.xml.gz	2004-11-09 11:09	273
	idproof.con.xml.gz	2004-11-09 11:09	381
	ciproof.con.xml.gz	2004-11-09 11:09	385
	ideal_is_ideal.con.xml.gz	2004-11-09 11:09	399
	coideal_is_coideal.con.xml.gz	2004-11-09 11:09	403
	ideal_rec.con.body.xml.gz	2004-11-09 11:09	416
	ideal_ind.con.body.xml.gz	2004-11-09 11:09	417
	coideal_ind.con.body.xml.gz	2004-11-09 11:09	420
	coideal_rec.con.body.xml.gz	2004-11-09 11:09	421
	idpred.con.xml.gz	2004-11-09 11:09	505
	cipred.con.xml.gz	2004-11-09 11:09	506
	coideal_nontriv.con.xml.gz	2004-11-09 11:09	551
	coideal_nonzero.con.xml.gz	2004-11-09 11:09	619
	ideal_as_CSetoid.con.body.xml.gz	2004-11-09 11:09	619
	coideal_as_CSetoid.con.body.xml.gz	2004-11-09 11:09	623
	ideal.ind.xml.gz	2004-11-09 11:09	650
	coideal.ind.xml.gz	2004-11-09 11:09	654
	is_ideal_rec.con.body.xml.gz	2004-11-09 11:09	679
	is_ideal_ind.con.body.xml.gz	2004-11-09 11:09	682
	is_coideal_rec.con.body.xml.gz	2004-11-09 11:09	686
	is_coideal_ind.con.body.xml.gz	2004-11-09 11:09	688
	cinontriv.con.xml.gz	2004-11-09 11:09	742
	ideal_rec.con.xml.gz	2004-11-09 11:09	752
	ideal_rect.con.xml.gz	2004-11-09 11:09	755
	coideal_rec.con.xml.gz	2004-11-09 11:09	756
	ideal_ind.con.xml.gz	2004-11-09 11:09	757
	coideal_rect.con.xml.gz	2004-11-09 11:09	760
	coideal_ind.con.xml.gz	2004-11-09 11:09	762
	idproof.con.body.xml.gz	2004-11-09 11:09	768
	ciproof.con.body.xml.gz	2004-11-09 11:09	770
	idpred.con.body.xml.gz	2004-11-09 11:09	780
	cipred.con.body.xml.gz	2004-11-09 11:09	781
	ideal_is_ideal.con.body.xml.gz	2004-11-09 11:09	803
	coideal_is_coideal.con.body.xml.gz	2004-11-09 11:09	808
	coideal_apzero.con.xml.gz	2004-11-09 11:09	866
	ideal_rect.con.body.xml.gz	2004-11-09 11:09	900
	coideal_rect.con.body.xml.gz	2004-11-09 11:09	904
	coideal_wd.con.xml.gz	2004-11-09 11:09	963
	ciapzero.con.xml.gz	2004-11-09 11:09	1.0K
	ideal_ind.con.types.xml.gz	2004-11-09 11:09	1.0K
	coideal_ind.con.types.xml.gz	2004-11-09 11:09	1.0K
	coideal_nonzero.con.body.xml.gz	2004-11-09 11:09	1.0K
	idax.con.xml.gz	2004-11-09 11:09	1.2K
	coideal_mult.con.xml.gz	2004-11-09 11:09	1.3K
	coideal_nonzero.con.types.xml.gz	2004-11-09 11:09	1.3K
	coideal_plus.con.xml.gz	2004-11-09 11:09	1.3K
	cimult.con.xml.gz	2004-11-09 11:09	1.4K
	idprpl.con.xml.gz	2004-11-09 11:09	1.4K
	ciplus.con.xml.gz	2004-11-09 11:09	1.4K
	INDEX	2005-07-05 08:11	1.8K
	is_ideal.ind.xml.gz	2004-11-09 11:09	2.2K
	is_ideal_rec.con.xml.gz	2004-11-09 11:09	2.3K
	is_ideal_ind.con.xml.gz	2004-11-09 11:09	2.3K
	is_ideal_rect.con.xml.gz	2004-11-09 11:09	2.3K
	is_ideal_rect.con.body.xml.gz	2004-11-09 11:09	2.5K
	is_coideal.ind.xml.gz	2004-11-09 11:09	2.8K
	idax.con.body.xml.gz	2004-11-09 11:09	2.9K
	cinontriv.con.types.xml.gz	2004-11-09 11:09	2.9K
	is_coideal_rect.con.xml.gz	2004-11-09 11:09	3.0K
	is_coideal_rec.con.xml.gz	2004-11-09 11:09	3.0K
	is_coideal_ind.con.xml.gz	2004-11-09 11:09	3.0K
	idprpl.con.body.xml.gz	2004-11-09 11:09	3.1K
	cinontriv.con.body.xml.gz	2004-11-09 11:09	3.1K
	coideal_wd.con.body.xml.gz	2004-11-09 11:09	3.1K
	is_coideal_rect.con.body.xml.gz	2004-11-09 11:09	3.1K
	ciapzero.con.body.xml.gz	2004-11-09 11:09	3.3K
	coideal_nontriv.con.body.xml.gz	2004-11-09 11:09	3.5K
	ciapzero.con.types.xml.gz	2004-11-09 11:09	3.6K
	cimult.con.body.xml.gz	2004-11-09 11:09	3.6K
	is_ideal_ind.con.types.xml.gz	2004-11-09 11:09	3.7K
	ciplus.con.body.xml.gz	2004-11-09 11:09	3.7K
	idax.con.types.xml.gz	2004-11-09 11:09	3.9K
	coideal_nontriv.con.types.xml.gz	2004-11-09 11:09	3.9K
	coideal_apzero.con.body.xml.gz	2004-11-09 11:09	3.9K
	idprpl.con.types.xml.gz	2004-11-09 11:09	4.3K
	coideal_wd.con.types.xml.gz	2004-11-09 11:09	4.6K
	cimult.con.types.xml.gz	2004-11-09 11:09	4.8K
	ciplus.con.types.xml.gz	2004-11-09 11:09	4.8K
	coideal_mult.con.body.xml.gz	2004-11-09 11:09	4.8K
	coideal_plus.con.body.xml.gz	2004-11-09 11:09	4.9K
	is_coideal_ind.con.types.xml.gz	2004-11-09 11:09	5.1K
	coideal_apzero.con.types.xml.gz	2004-11-09 11:09	5.1K
	coideal_mult.con.types.xml.gz	2004-11-09 11:09	8.0K
	coideal_plus.con.types.xml.gz	2004-11-09 11:09	8.2K