Index of /xml/Rocq/ALGEBRA/CATEGORY_THEORY/FUNCTOR/Setoid_dup1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]fun2_to_map2'/2005-07-05 08:14 -  
[DIR]maps'/2005-07-05 08:14 -  
[DIR]prop_map2'/2005-07-05 08:14 -  
[ ]Ap'.con.types.xml.gz2004-04-08 14:40 216  
[ ]Ext'.con.types.xml.gz2004-04-08 14:40 218  
[ ]Map'.ind.types.xml.gz2004-04-08 14:40 218  
[ ]Ap2'.con.types.xml.gz2004-04-08 14:40 219  
[ ]Map2'.con.types.xml.gz2004-04-08 14:40 221  
[ ]Setoid'.ind.types.xml.gz2004-04-08 14:40 221  
[ ]Equal'.con.types.xml.gz2004-04-08 14:40 222  
[ ]Carrier'.con.types.xml.gz2004-04-08 14:40 225  
[ ]Map'_rec.con.types.xml.gz2004-04-08 14:40 225  
[ ]Map_law'.con.types.xml.gz2004-04-08 14:40 226  
[ ]Map'_rect.con.types.xml.gz2004-04-08 14:40 227  
[ ]Setoid'_rec.con.types.xml.gz2004-04-08 14:40 228  
[ ]Map_setoid'.con.types.xml.gz2004-04-08 14:40 229  
[ ]Map2'_Map'.con.types.xml.gz2004-04-08 14:40 230  
[ ]Setoid'_rect.con.types.xml.gz2004-04-08 14:40 230  
[ ]Build_Map2'.con.types.xml.gz2004-04-08 14:40 232  
[ ]Map2_cong_law'.con.types.xml.gz2004-04-08 14:40 237  
[ ]Map2_congl_law'.con.types.xml.gz2004-04-08 14:40 238  
[ ]Map2_congr_law'.con.types.xml.gz2004-04-08 14:40 242  
[ ]Map2'.con.xml.gz2004-04-08 14:40 271  
[ ]Pres1'.con.body.xml.gz2004-04-08 14:40 284  
[ ]Map_setoid'.con.xml.gz2004-04-08 14:40 285  
[ ]Map2_cong_law'.con.xml.gz2004-04-08 14:40 294  
[ ]Map2_congl_law'.con.xml.gz2004-04-08 14:40 295  
[ ]Map2_congr_law'.con.xml.gz2004-04-08 14:40 295  
[ ]Build_Map2'.con.xml.gz2004-04-08 14:40 305  
[ ]Carrier'.con.xml.gz2004-04-08 14:40 318  
[ ]Ext'.con.xml.gz2004-04-08 14:40 347  
[ ]Map_setoid'.con.body.xml.gz2004-04-08 14:40 379  
[ ]Ext_equiv'.con.xml.gz2004-04-08 14:40 393  
[ ]Ap'.con.xml.gz2004-04-08 14:40 400  
[ ]Ap2'.con.xml.gz2004-04-08 14:40 400  
[ ]Prf_map2_cong'.con.xml.gz2004-04-08 14:40 402  
[ ]Prf_map2_congl'.con.xml.gz2004-04-08 14:40 405  
[ ]Prf_map2_congr'.con.xml.gz2004-04-08 14:40 406  
[ ]Map2'.con.body.xml.gz2004-04-08 14:40 412  
[ ]Map_law'.con.xml.gz2004-04-08 14:40 415  
[ ]Pres'.con.xml.gz2004-04-08 14:40 422  
[ ]Refl'.con.xml.gz2004-04-08 14:40 435  
[ ]Setoid'_rec.con.body.xml.gz2004-04-08 14:40 435  
[ ]Setoid'_ind.con.body.xml.gz2004-04-08 14:40 437  
[ ]Map2_map1'.con.types.xml.gz2004-04-08 14:40 440  
[ ]Map'_ind.con.body.xml.gz2004-04-08 14:40 454  
[ ]Map'_rec.con.body.xml.gz2004-04-08 14:40 454  
[ ]Equal'.con.xml.gz2004-04-08 14:40 455  
[ ]Map2_map_law2'.con.xml.gz2004-04-08 14:40 457  
[ ]Map2_map1'.con.xml.gz2004-04-08 14:40 467  
[ ]Prf_equiv'.con.xml.gz2004-04-08 14:40 500  
[ ]Build_Map2'.con.body.xml.gz2004-04-08 14:40 501  
[ ]Sym'.con.xml.gz2004-04-08 14:40 506  
[ ]Map2_map_law1'.con.xml.gz2004-04-08 14:40 526  
[ ]Refl'.con.body.xml.gz2004-04-08 14:40 539  
[ ]Ext'.con.body.xml.gz2004-04-08 14:40 556  
[ ]Trans'.con.xml.gz2004-04-08 14:40 568  
[ ]Map'.ind.xml.gz2004-04-08 14:40 572  
[ ]Map2'_Map'.con.xml.gz2004-04-08 14:40 572  
[ ]Pres1'.con.xml.gz2004-04-08 14:40 574  
[ ]Map2_map1'.con.body.xml.gz2004-04-08 14:40 577  
[ ]Setoid'.ind.xml.gz2004-04-08 14:40 582  
[ ]Map2_map_law1'.con.body.xml.gz2004-04-08 14:40 584  
[ ]Map2_congl_law'.con.body.xml.gz2004-04-08 14:40 594  
[ ]Map2_congr_law'.con.body.xml.gz2004-04-08 14:40 595  
[ ]Map2_map_law2'.con.body.xml.gz2004-04-08 14:40 602  
[ ]Ap2'.con.body.xml.gz2004-04-08 14:40 615  
[ ]Map_law'.con.body.xml.gz2004-04-08 14:40 615  
[ ]Sym'.con.body.xml.gz2004-04-08 14:40 616  
[ ]Trans'.con.body.xml.gz2004-04-08 14:40 619  
[ ]Map2_cong_law'.con.body.xml.gz2004-04-08 14:40 652  
[ ]Pres1'.con.types.xml.gz2004-04-08 14:40 660  
[ ]Carrier'.con.body.xml.gz2004-04-08 14:40 661  
[ ]Map'_rec.con.xml.gz2004-04-08 14:40 681  
[ ]Ap'.con.body.xml.gz2004-04-08 14:40 685  
[ ]Map'_ind.con.xml.gz2004-04-08 14:40 685  
[ ]Map'_rect.con.xml.gz2004-04-08 14:40 685  
[ ]Prf_map2_congr'.con.body.xml.gz2004-04-08 14:40 699  
[ ]Refl'.con.types.xml.gz2004-04-08 14:40 705  
[ ]Pres'.con.body.xml.gz2004-04-08 14:40 717  
[ ]Setoid'_rect.con.xml.gz2004-04-08 14:40 720  
[ ]Map2'_Map'.con.body.xml.gz2004-04-08 14:40 722  
[ ]Setoid'_rec.con.xml.gz2004-04-08 14:40 722  
[ ]Equal'.con.body.xml.gz2004-04-08 14:40 724  
[ ]Setoid'_ind.con.xml.gz2004-04-08 14:40 725  
[ ]Prf_map2_congl'.con.body.xml.gz2004-04-08 14:40 756  
[ ]Prf_equiv'.con.body.xml.gz2004-04-08 14:40 775  
[ ]Pres'.con.types.xml.gz2004-04-08 14:40 806  
[ ]Map'_rect.con.body.xml.gz2004-04-08 14:40 809  
[ ]Prf_map2_cong'.con.body.xml.gz2004-04-08 14:40 819  
[ ]Setoid'_rect.con.body.xml.gz2004-04-08 14:40 851  
[ ]Map'_ind.con.types.xml.gz2004-04-08 14:40 861  
[ ]Sym'.con.types.xml.gz2004-04-08 14:40 874  
[ ]Setoid'_ind.con.types.xml.gz2004-04-08 14:40 908  
[ ]Trans'.con.types.xml.gz2004-04-08 14:40 1.0K 
[ ]Prf_equiv'.con.types.xml.gz2004-04-08 14:40 1.0K 
[ ]Prf_map2_congr'.con.types.xml.gz2004-04-08 14:40 1.1K 
[ ]Map2_map_law1'.con.types.xml.gz2004-04-08 14:40 1.1K 
[ ]Prf_map2_congl'.con.types.xml.gz2004-04-08 14:40 1.1K 
[ ]Prf_map2_cong'.con.types.xml.gz2004-04-08 14:40 1.4K 
[ ]Ext_equiv'.con.body.xml.gz2004-04-08 14:40 1.4K 
[ ]Map2_map_law2'.con.types.xml.gz2004-04-08 14:40 1.4K 
[ ]INDEX2005-07-05 08:14 1.6K 
[ ]Ext_equiv'.con.types.xml.gz2004-04-08 14:40 2.4K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80