Index of /xml/Rocq/ALGEBRA/CATEGORY_THEORY/CATEGORY/CONSTRUCTIONS/SETProperty

	Name	Last modified	Size	Description
	Parent Directory		-
	Surj_epic.con.types.xml.gz	2004-04-08 14:40	3.2K
	Monic_inj.con.types.xml.gz	2004-04-08 14:40	3.2K
	Inj_monic.con.types.xml.gz	2004-04-08 14:40	2.3K
	Surj_epic.con.body.xml.gz	2004-04-08 14:40	1.9K
	Monic_inj.con.body.xml.gz	2004-04-08 14:40	1.3K
	Inj_monic.con.body.xml.gz	2004-04-08 14:40	1.2K
	Id_SET_Monic_law_Monic_law.con.types.xml.gz	2004-04-08 14:40	946
	Id_SET_Epic_law_Epic_law.con.types.xml.gz	2004-04-08 14:40	946
	Id_SET_Monic_law_Monic_law.con.body.xml.gz	2004-04-08 14:40	821
	Id_SET_Epic_law_Epic_law.con.body.xml.gz	2004-04-08 14:40	821
	MapConst_map_law.con.types.xml.gz	2004-04-08 14:40	796
	Id_SET_Monic_law_Monic_law.con.xml.gz	2004-04-08 14:40	642
	Id_SET_Epic_law_Epic_law.con.xml.gz	2004-04-08 14:40	641
	Surj_epic.con.xml.gz	2004-04-08 14:40	610
	SET_Monic_law.con.body.xml.gz	2004-04-08 14:40	589
	SET_Epic_law.con.body.xml.gz	2004-04-08 14:40	587
	MapConst_map_law.con.body.xml.gz	2004-04-08 14:40	585
	INDEX	2005-07-05 08:14	582
	Monic_inj.con.xml.gz	2004-04-08 14:40	495
	Inj_monic.con.xml.gz	2004-04-08 14:40	493
	MapConst.con.body.xml.gz	2004-04-08 14:40	446
	SET_Monic_law.con.xml.gz	2004-04-08 14:40	435
	SET_Epic_law.con.xml.gz	2004-04-08 14:40	433
	MapConst_map_law.con.xml.gz	2004-04-08 14:40	419
	MapConst_fun.con.body.xml.gz	2004-04-08 14:40	419
	MapConst_fun.con.xml.gz	2004-04-08 14:40	410
	MapConst.con.xml.gz	2004-04-08 14:40	383
	SET_Monic_law.con.types.xml.gz	2004-04-08 14:40	240
	MapConst_fun.con.types.xml.gz	2004-04-08 14:40	240
	SET_Epic_law.con.types.xml.gz	2004-04-08 14:40	235
	MapConst.con.types.xml.gz	2004-04-08 14:40	231
	set_epic_monic/	2005-07-05 08:14	-