Index of /xml/CoRN/algebra/CQuotient_Rings

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	2.0K
	QuotRing/	2005-07-05 08:13	-
	ap_quotring.con.body.xml.gz	2004-11-09 11:09	861
	ap_quotring.con.types.xml.gz	2004-11-09 11:09	211
	ap_quotring.con.xml.gz	2004-11-09 11:09	531
	ap_quotring_cotransitive.con.body.xml.gz	2004-11-09 11:09	25K
	ap_quotring_cotransitive.con.types.xml.gz	2004-11-09 11:09	29K
	ap_quotring_cotransitive.con.xml.gz	2004-11-09 11:09	512
	ap_quotring_irreflexive.con.body.xml.gz	2004-11-09 11:09	1.3K
	ap_quotring_irreflexive.con.types.xml.gz	2004-11-09 11:09	2.3K
	ap_quotring_irreflexive.con.xml.gz	2004-11-09 11:09	515
	ap_quotring_is_apartness.con.body.xml.gz	2004-11-09 11:09	569
	ap_quotring_is_apartness.con.types.xml.gz	2004-11-09 11:09	233
	ap_quotring_is_apartness.con.xml.gz	2004-11-09 11:09	494
	ap_quotring_symmetric.con.body.xml.gz	2004-11-09 11:09	15K
	ap_quotring_symmetric.con.types.xml.gz	2004-11-09 11:09	19K
	ap_quotring_symmetric.con.xml.gz	2004-11-09 11:09	517
	ap_quotring_tight.con.body.xml.gz	2004-11-09 11:09	967
	ap_quotring_tight.con.types.xml.gz	2004-11-09 11:09	1.4K
	ap_quotring_tight.con.xml.gz	2004-11-09 11:09	519
	drinv_is_ext.con.body.xml.gz	2004-11-09 11:10	15K
	drinv_is_ext.con.types.xml.gz	2004-11-09 11:10	20K
	drinv_is_ext.con.xml.gz	2004-11-09 11:10	661
	drinv_is_inv.con.body.xml.gz	2004-11-09 11:10	3.0K
	drinv_is_inv.con.types.xml.gz	2004-11-09 11:10	4.2K
	drinv_is_inv.con.xml.gz	2004-11-09 11:10	328
	drinv_is_un_op.con.body.xml.gz	2004-11-09 11:10	684
	drinv_is_un_op.con.types.xml.gz	2004-11-09 11:10	952
	drinv_is_un_op.con.xml.gz	2004-11-09 11:10	368
	drmult_associative.con.body.xml.gz	2004-11-09 11:10	1.8K
	drmult_associative.con.types.xml.gz	2004-11-09 11:10	8.2K
	drmult_associative.con.xml.gz	2004-11-09 11:10	695
	drmult_commutes.con.body.xml.gz	2004-11-09 11:10	1.3K
	drmult_commutes.con.types.xml.gz	2004-11-09 11:10	3.8K
	drmult_commutes.con.xml.gz	2004-11-09 11:10	688
	drmult_is_bin_op.con.body.xml.gz	2004-11-09 11:10	789
	drmult_is_bin_op.con.types.xml.gz	2004-11-09 11:10	221
	drmult_is_bin_op.con.xml.gz	2004-11-09 11:10	585
	drmult_is_ext.con.body.xml.gz	2004-11-09 11:10	84K
	drmult_is_ext.con.types.xml.gz	2004-11-09 11:10	98K
	drmult_is_ext.con.xml.gz	2004-11-09 11:10	872
	drmult_monoid.con.body.xml.gz	2004-11-09 11:10	1.6K
	drmult_monoid.con.types.xml.gz	2004-11-09 11:10	5.7K
	drmult_monoid.con.xml.gz	2004-11-09 11:10	532
	drplus_is_assoc.con.body.xml.gz	2004-11-09 11:10	1.9K
	drplus_is_assoc.con.types.xml.gz	2004-11-09 11:10	3.6K
	drplus_is_assoc.con.xml.gz	2004-11-09 11:10	452
	drplus_is_bin_fun.con.body.xml.gz	2004-11-09 11:10	800
	drplus_is_bin_fun.con.types.xml.gz	2004-11-09 11:10	222
	drplus_is_bin_fun.con.xml.gz	2004-11-09 11:10	381
	drplus_is_commutative.con.body.xml.gz	2004-11-09 11:10	1.3K
	drplus_is_commutative.con.types.xml.gz	2004-11-09 11:10	2.1K
	drplus_is_commutative.con.xml.gz	2004-11-09 11:10	457
	drplus_is_ext.con.body.xml.gz	2004-11-09 11:10	57K
	drplus_is_ext.con.types.xml.gz	2004-11-09 11:10	62K
	drplus_is_ext.con.xml.gz	2004-11-09 11:10	758
	eq_quotring.con.body.xml.gz	2004-11-09 11:09	888
	eq_quotring.con.types.xml.gz	2004-11-09 11:09	211
	eq_quotring.con.xml.gz	2004-11-09 11:09	529
	eq_quotring_wd.con.body.xml.gz	2004-11-09 11:09	1.4K
	eq_quotring_wd.con.types.xml.gz	2004-11-09 11:09	1.5K
	eq_quotring_wd.con.xml.gz	2004-11-09 11:09	712
	quotring_as_CAbGroup.con.body.xml.gz	2004-11-09 11:10	373
	quotring_as_CAbGroup.con.types.xml.gz	2004-11-09 11:10	504
	quotring_as_CAbGroup.con.xml.gz	2004-11-09 11:10	284
	quotring_as_CGroup.con.body.xml.gz	2004-11-09 11:10	375
	quotring_as_CGroup.con.types.xml.gz	2004-11-09 11:10	224
	quotring_as_CGroup.con.xml.gz	2004-11-09 11:10	280
	quotring_as_CMonoid.con.body.xml.gz	2004-11-09 11:10	463
	quotring_as_CMonoid.con.types.xml.gz	2004-11-09 11:10	224
	quotring_as_CMonoid.con.xml.gz	2004-11-09 11:10	281
	quotring_as_CRing.con.body.xml.gz	2004-11-09 11:10	409
	quotring_as_CRing.con.types.xml.gz	2004-11-09 11:10	219
	quotring_as_CRing.con.xml.gz	2004-11-09 11:10	276
	quotring_as_CSemiGroup.con.body.xml.gz	2004-11-09 11:10	385
	quotring_as_CSemiGroup.con.types.xml.gz	2004-11-09 11:10	515
	quotring_as_CSemiGroup.con.xml.gz	2004-11-09 11:10	286
	quotring_as_CSetoid.con.body.xml.gz	2004-11-09 11:09	512
	quotring_as_CSetoid.con.types.xml.gz	2004-11-09 11:09	225
	quotring_as_CSetoid.con.xml.gz	2004-11-09 11:09	282
	quotring_distr.con.body.xml.gz	2004-11-09 11:10	2.2K
	quotring_distr.con.types.xml.gz	2004-11-09 11:10	9.5K
	quotring_distr.con.xml.gz	2004-11-09 11:10	438
	quotring_is_CMonoid.con.body.xml.gz	2004-11-09 11:10	488
	quotring_is_CMonoid.con.types.xml.gz	2004-11-09 11:10	840
	quotring_is_CMonoid.con.xml.gz	2004-11-09 11:10	440
	quotring_is_CRing.con.body.xml.gz	2004-11-09 11:10	474
	quotring_is_CRing.con.types.xml.gz	2004-11-09 11:10	565
	quotring_is_CRing.con.xml.gz	2004-11-09 11:10	392
	quotring_nontriv.con.body.xml.gz	2004-11-09 11:10	1.0K
	quotring_nontriv.con.types.xml.gz	2004-11-09 11:10	1.5K
	quotring_nontriv.con.xml.gz	2004-11-09 11:10	658
	zero_as_lft_unit.con.body.xml.gz	2004-11-09 11:10	1.0K
	zero_as_lft_unit.con.types.xml.gz	2004-11-09 11:10	1.6K
	zero_as_lft_unit.con.xml.gz	2004-11-09 11:10	441
	zero_as_rht_unit.con.body.xml.gz	2004-11-09 11:10	1.0K
	zero_as_rht_unit.con.types.xml.gz	2004-11-09 11:10	1.6K
	zero_as_rht_unit.con.xml.gz	2004-11-09 11:10	441