Index of /xml/CoRN/algebra/CIdeals

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