Index of /xml/CoRN/algebra/CModules

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Module/2005-07-05 08:13 -  
[DIR]Module_Definition/2005-07-05 08:13 -  
[ ]comod.ind.types.xml.gz2004-11-09 11:08 194  
[ ]rm_mu.con.types.xml.gz2004-11-09 11:08 196  
[ ]submod.ind.types.xml.gz2004-11-09 11:08 196  
[ ]RModule.ind.types.xml.gz2004-11-09 11:08 197  
[ ]cmpred.con.types.xml.gz2004-11-09 11:08 197  
[ ]smpred.con.types.xml.gz2004-11-09 11:08 197  
[ ]cmproof.con.types.xml.gz2004-11-09 11:08 198  
[ ]rm_crr.con.types.xml.gz2004-11-09 11:08 198  
[ ]smproof.con.types.xml.gz2004-11-09 11:08 198  
[ ]is_comod.ind.types.xml.gz2004-11-09 11:08 200  
[ ]comod_rec.con.types.xml.gz2004-11-09 11:08 202  
[ ]is_submod.ind.types.xml.gz2004-11-09 11:08 202  
[ ]is_RModule.ind.types.xml.gz2004-11-09 11:08 203  
[ ]comod_rect.con.types.xml.gz2004-11-09 11:08 204  
[ ]submod_rec.con.types.xml.gz2004-11-09 11:08 204  
[ ]RModule_rec.con.types.xml.gz2004-11-09 11:08 205  
[ ]R_as_RModule.con.types.xml.gz2004-11-09 11:08 206  
[ ]submod_rect.con.types.xml.gz2004-11-09 11:08 206  
[ ]RModule_rect.con.types.xml.gz2004-11-09 11:08 207  
[ ]is_comod_rec.con.types.xml.gz2004-11-09 11:08 208  
[ ]is_comod_rect.con.types.xml.gz2004-11-09 11:08 209  
[ ]is_RModule_rec.con.types.xml.gz2004-11-09 11:08 210  
[ ]is_submod_rec.con.types.xml.gz2004-11-09 11:08 210  
[ ]comod_is_comod.con.types.xml.gz2004-11-09 11:08 211  
[ ]is_RModule_rect.con.types.xml.gz2004-11-09 11:08 212  
[ ]is_submod_rect.con.types.xml.gz2004-11-09 11:08 212  
[ ]submod_is_submod.con.types.xml.gz2004-11-09 11:08 214  
[ ]comod_as_CSetoid.con.types.xml.gz2004-11-09 11:08 215  
[ ]submod_as_CSetoid.con.types.xml.gz2004-11-09 11:08 217  
[ ]comod_as_CSetoid.con.xml.gz2004-11-09 11:08 283  
[ ]submod_as_CSetoid.con.xml.gz2004-11-09 11:08 284  
[ ]rm_crr.con.xml.gz2004-11-09 11:08 312  
[ ]R_as_RModule.con.xml.gz2004-11-09 11:08 314  
[ ]R_is_RModule.con.xml.gz2004-11-09 11:08 397  
[ ]cmproof.con.xml.gz2004-11-09 11:08 398  
[ ]smproof.con.xml.gz2004-11-09 11:08 399  
[ ]comod_is_comod.con.xml.gz2004-11-09 11:08 410  
[ ]submod_is_submod.con.xml.gz2004-11-09 11:08 413  
[ ]rm_proof.con.xml.gz2004-11-09 11:08 421  
[ ]R_as_RModule.con.body.xml.gz2004-11-09 11:08 423  
[ ]RModule_rec.con.body.xml.gz2004-11-09 11:08 427  
[ ]RModule_ind.con.body.xml.gz2004-11-09 11:08 429  
[ ]comod_rec.con.body.xml.gz2004-11-09 11:08 431  
[ ]comod_ind.con.body.xml.gz2004-11-09 11:08 433  
[ ]submod_rec.con.body.xml.gz2004-11-09 11:08 433  
[ ]submod_ind.con.body.xml.gz2004-11-09 11:08 435  
[ ]RModule_is_RModule.con.xml.gz2004-11-09 11:08 441  
[ ]cmpred.con.xml.gz2004-11-09 11:08 558  
[ ]smpred.con.xml.gz2004-11-09 11:08 560  
[ ]rm_mu.con.xml.gz2004-11-09 11:08 683  
[ ]comod_nonzero.con.xml.gz2004-11-09 11:08 687  
[ ]comod_as_CSetoid.con.body.xml.gz2004-11-09 11:08 699  
[ ]submod_as_CSetoid.con.body.xml.gz2004-11-09 11:08 701  
[ ]comod.ind.xml.gz2004-11-09 11:08 704  
[ ]submod.ind.xml.gz2004-11-09 11:08 706  
[ ]is_comod_rec.con.body.xml.gz2004-11-09 11:08 732  
[ ]is_comod_ind.con.body.xml.gz2004-11-09 11:08 735  
[ ]is_submod_rec.con.body.xml.gz2004-11-09 11:08 736  
[ ]is_submod_ind.con.body.xml.gz2004-11-09 11:08 739  
[ ]is_RModule_rec.con.body.xml.gz2004-11-09 11:08 797  
[ ]is_RModule_ind.con.body.xml.gz2004-11-09 11:08 799  
[ ]comod_rec.con.xml.gz2004-11-09 11:08 807  
[ ]submod_rec.con.xml.gz2004-11-09 11:08 809  
[ ]comod_ind.con.xml.gz2004-11-09 11:08 811  
[ ]comod_rect.con.xml.gz2004-11-09 11:08 813  
[ ]submod_ind.con.xml.gz2004-11-09 11:08 814  
[ ]submod_rect.con.xml.gz2004-11-09 11:08 815  
[ ]RModule.ind.xml.gz2004-11-09 11:08 819  
[ ]cmproof.con.body.xml.gz2004-11-09 11:08 821  
[ ]smproof.con.body.xml.gz2004-11-09 11:08 821  
[ ]comod_is_comod.con.body.xml.gz2004-11-09 11:08 852  
[ ]smzero.con.xml.gz2004-11-09 11:08 854  
[ ]submod_is_submod.con.body.xml.gz2004-11-09 11:08 856  
[ ]cmpred.con.body.xml.gz2004-11-09 11:08 864  
[ ]smpred.con.body.xml.gz2004-11-09 11:08 865  
[ ]rm_crr.con.body.xml.gz2004-11-09 11:08 894  
[ ]RModule_rec.con.xml.gz2004-11-09 11:08 941  
[ ]comod_rect.con.body.xml.gz2004-11-09 11:08 946  
[ ]RModule_ind.con.xml.gz2004-11-09 11:08 947  
[ ]RModule_rect.con.xml.gz2004-11-09 11:08 947  
[ ]submod_rect.con.body.xml.gz2004-11-09 11:08 949  
[ ]rm_proof.con.body.xml.gz2004-11-09 11:08 1.0K 
[ ]mu_one.con.xml.gz2004-11-09 11:08 1.0K 
[ ]comod_apzero.con.xml.gz2004-11-09 11:08 1.0K 
[ ]RModule_is_RModule.con.body.xml.gz2004-11-09 11:08 1.0K 
[ ]comod_ind.con.types.xml.gz2004-11-09 11:08 1.0K 
[ ]submod_ind.con.types.xml.gz2004-11-09 11:08 1.0K 
[ ]RModule_rect.con.body.xml.gz2004-11-09 11:08 1.1K 
[ ]cmapzero.con.xml.gz2004-11-09 11:08 1.1K 
[ ]mu_zerox.con.xml.gz2004-11-09 11:08 1.1K 
[ ]rm_mu.con.body.xml.gz2004-11-09 11:08 1.1K 
[ ]comod_wd.con.xml.gz2004-11-09 11:09 1.1K 
[ ]rm_one.con.xml.gz2004-11-09 11:08 1.1K 
[ ]rm_proof.con.types.xml.gz2004-11-09 11:08 1.2K 
[ ]comod_nonzero.con.body.xml.gz2004-11-09 11:08 1.2K 
[ ]mu_azero.con.xml.gz2004-11-09 11:08 1.2K 
[ ]RModule_ind.con.types.xml.gz2004-11-09 11:08 1.2K 
[ ]RModule_is_RModule.con.types.xml.gz2004-11-09 11:08 1.3K 
[ ]comod_mult.con.xml.gz2004-11-09 11:08 1.3K 
[ ]smmult.con.xml.gz2004-11-09 11:08 1.4K 
[ ]cmmult.con.xml.gz2004-11-09 11:08 1.4K 
[ ]comod_nonzero.con.types.xml.gz2004-11-09 11:08 1.4K 
[ ]mu_minusonex.con.xml.gz2004-11-09 11:08 1.4K 
[ ]mu_axap0_aap0.con.xml.gz2004-11-09 11:08 1.5K 
[ ]mu_axap0_xap0.con.xml.gz2004-11-09 11:08 1.5K 
[ ]comod_plus.con.xml.gz2004-11-09 11:08 1.6K 
[ ]smplus.con.xml.gz2004-11-09 11:08 1.6K 
[ ]cmplus.con.xml.gz2004-11-09 11:08 1.6K 
[ ]mu0help.con.xml.gz2004-11-09 11:08 1.7K 
[ ]mu_strext.con.xml.gz2004-11-09 11:08 1.7K 
[ ]mu_minusax.con.xml.gz2004-11-09 11:08 1.8K 
[ ]mu_aminusx.con.xml.gz2004-11-09 11:08 1.8K 
[ ]mu_mult.con.xml.gz2004-11-09 11:08 1.9K 
[ ]mu0help2.con.xml.gz2004-11-09 11:08 2.0K 
[ ]rm_mult.con.xml.gz2004-11-09 11:08 2.0K 
[ ]rm_pl1.con.xml.gz2004-11-09 11:08 2.2K 
[ ]mu_plus2.con.xml.gz2004-11-09 11:08 2.2K 
[ ]rm_pl2.con.xml.gz2004-11-09 11:08 2.3K 
[ ]mu_plus1.con.xml.gz2004-11-09 11:08 2.3K 
[ ]is_submod.ind.xml.gz2004-11-09 11:08 2.7K 
[ ]R_is_RModule.con.body.xml.gz2004-11-09 11:08 2.8K 
[ ]is_submod_rec.con.xml.gz2004-11-09 11:08 2.8K 
[ ]is_submod_rect.con.xml.gz2004-11-09 11:08 2.8K 
[ ]is_submod_ind.con.xml.gz2004-11-09 11:08 2.8K 
[ ]mu_strext.con.body.xml.gz2004-11-09 11:08 2.8K 
[ ]is_comod.ind.xml.gz2004-11-09 11:08 2.9K 
[ ]is_submod_rect.con.body.xml.gz2004-11-09 11:08 3.0K 
[ ]smzero.con.body.xml.gz2004-11-09 11:08 3.0K 
[ ]is_comod_rect.con.xml.gz2004-11-09 11:08 3.0K 
[ ]is_comod_rec.con.xml.gz2004-11-09 11:08 3.0K 
[ ]is_comod_ind.con.xml.gz2004-11-09 11:08 3.0K 
[ ]smzero.con.types.xml.gz2004-11-09 11:08 3.1K 
[ ]INDEX2005-07-05 08:11 3.2K 
[ ]is_comod_rect.con.body.xml.gz2004-11-09 11:08 3.2K 
[ ]mu0help.con.body.xml.gz2004-11-09 11:08 3.2K 
[ ]cmapzero.con.body.xml.gz2004-11-09 11:08 3.4K 
[ ]smmult.con.body.xml.gz2004-11-09 11:08 3.4K 
[ ]comod_wd.con.body.xml.gz2004-11-09 11:09 3.5K 
[ ]smplus.con.body.xml.gz2004-11-09 11:08 3.7K 
[ ]cmapzero.con.types.xml.gz2004-11-09 11:08 3.7K 
[ ]cmmult.con.body.xml.gz2004-11-09 11:08 3.7K 
[ ]cmplus.con.body.xml.gz2004-11-09 11:08 3.9K 
[ ]comod_apzero.con.body.xml.gz2004-11-09 11:08 4.1K 
[ ]smmult.con.types.xml.gz2004-11-09 11:08 4.6K 
[ ]cmmult.con.types.xml.gz2004-11-09 11:08 4.8K 
[ ]is_submod_ind.con.types.xml.gz2004-11-09 11:08 4.8K 
[ ]comod_mult.con.body.xml.gz2004-11-09 11:08 4.8K 
[ ]smplus.con.types.xml.gz2004-11-09 11:08 4.9K 
[ ]comod_wd.con.types.xml.gz2004-11-09 11:09 5.2K 
[ ]cmplus.con.types.xml.gz2004-11-09 11:08 5.2K 
[ ]comod_plus.con.body.xml.gz2004-11-09 11:08 5.2K 
[ ]is_comod_ind.con.types.xml.gz2004-11-09 11:08 5.2K 
[ ]is_RModule_ind.con.xml.gz2004-11-09 11:08 5.3K 
[ ]is_RModule_rec.con.xml.gz2004-11-09 11:08 5.3K 
[ ]mu0help.con.types.xml.gz2004-11-09 11:08 5.3K 
[ ]is_RModule_rect.con.xml.gz2004-11-09 11:08 5.3K 
[ ]comod_apzero.con.types.xml.gz2004-11-09 11:08 5.4K 
[ ]is_RModule_rect.con.body.xml.gz2004-11-09 11:08 5.4K 
[ ]is_RModule.ind.xml.gz2004-11-09 11:08 5.4K 
[ ]mu_zerox.con.body.xml.gz2004-11-09 11:08 5.5K 
[ ]mu_strext.con.types.xml.gz2004-11-09 11:08 5.9K 
[ ]rm_one.con.body.xml.gz2004-11-09 11:08 6.0K 
[ ]rm_one.con.types.xml.gz2004-11-09 11:08 6.3K 
[ ]mu_one.con.body.xml.gz2004-11-09 11:08 6.7K 
[ ]rm_mult.con.body.xml.gz2004-11-09 11:08 6.8K 
[ ]mu_one.con.types.xml.gz2004-11-09 11:08 6.8K 
[ ]mu_zerox.con.types.xml.gz2004-11-09 11:08 6.9K 
[ ]rm_pl1.con.body.xml.gz2004-11-09 11:08 7.0K 
[ ]rm_pl2.con.body.xml.gz2004-11-09 11:08 7.0K 
[ ]comod_mult.con.types.xml.gz2004-11-09 11:08 7.4K 
[ ]mu_mult.con.body.xml.gz2004-11-09 11:08 7.5K 
[ ]mu_plus2.con.body.xml.gz2004-11-09 11:08 7.9K 
[ ]mu_plus1.con.body.xml.gz2004-11-09 11:08 7.9K 
[ ]rm_mult.con.types.xml.gz2004-11-09 11:08 8.5K 
[ ]mu_mult.con.types.xml.gz2004-11-09 11:08 8.7K 
[ ]comod_plus.con.types.xml.gz2004-11-09 11:08 8.7K 
[ ]rm_pl1.con.types.xml.gz2004-11-09 11:08 9.0K 
[ ]rm_pl2.con.types.xml.gz2004-11-09 11:08 9.3K 
[ ]mu_plus2.con.types.xml.gz2004-11-09 11:08 9.3K 
[ ]mu_plus1.con.types.xml.gz2004-11-09 11:08 9.5K 
[ ]is_RModule_ind.con.types.xml.gz2004-11-09 11:08 9.6K 
[ ]mu_azero.con.body.xml.gz2004-11-09 11:08 10K 
[ ]R_is_RModule.con.types.xml.gz2004-11-09 11:08 10K 
[ ]mu_minusax.con.body.xml.gz2004-11-09 11:08 11K 
[ ]mu_aminusx.con.body.xml.gz2004-11-09 11:08 11K 
[ ]mu_azero.con.types.xml.gz2004-11-09 11:08 11K 
[ ]mu_minusonex.con.body.xml.gz2004-11-09 11:08 12K 
[ ]mu_axap0_aap0.con.body.xml.gz2004-11-09 11:08 13K 
[ ]mu0help2.con.body.xml.gz2004-11-09 11:08 13K 
[ ]mu_axap0_xap0.con.body.xml.gz2004-11-09 11:08 13K 
[ ]mu_minusax.con.types.xml.gz2004-11-09 11:08 14K 
[ ]mu_aminusx.con.types.xml.gz2004-11-09 11:08 14K 
[ ]mu_minusonex.con.types.xml.gz2004-11-09 11:08 15K 
[ ]mu_axap0_aap0.con.types.xml.gz2004-11-09 11:08 16K 
[ ]mu0help2.con.types.xml.gz2004-11-09 11:08 16K 
[ ]mu_axap0_xap0.con.types.xml.gz2004-11-09 11:08 17K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80