Index of /xml/CoRN/algebra/CMonoids

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]CMonoid_axioms/2005-07-05 08:13 -  
[DIR]CMonoid_basics/2005-07-05 08:13 -  
[DIR]D9M/2005-07-05 08:13 -  
[DIR]Th11/2005-07-05 08:13 -  
[DIR]Th12/2005-07-05 08:13 -  
[DIR]Th13/2005-07-05 08:13 -  
[DIR]Th14/2005-07-05 08:13 -  
[DIR]Th15/2005-07-05 08:13 -  
[DIR]gen_cyc/2005-07-05 08:13 -  
[DIR]p67R2/2005-07-05 08:13 -  
[DIR]p71E1/2005-07-05 08:13 -  
[DIR]p71E2b2/2005-07-05 08:13 -  
[DIR]p71R2/2005-07-05 08:13 -  
[ ]K.con.types.xml.gz2004-11-09 10:23 188  
[ ]CMonoid.ind.types.xml.gz2004-11-09 10:20 195  
[ ]Dbrack.con.types.xml.gz2004-11-09 10:23 196  
[ ]FS_id.con.types.xml.gz2004-11-09 10:23 196  
[ ]cyclic.con.types.xml.gz2004-11-09 10:20 196  
[ ]cm_crr.con.types.xml.gz2004-11-09 10:20 197  
[ ]cm_Sum.con.types.xml.gz2004-11-09 10:23 198  
[ ]cm_unit.con.types.xml.gz2004-11-09 10:20 198  
[ ]morphism.con.types.xml.gz2004-11-09 10:20 200  
[ ]nonZeroP.con.types.xml.gz2004-11-09 10:20 200  
[ ]is_CMonoid.ind.types.xml.gz2004-11-09 10:20 202  
[ ]CMonoid_rec.con.types.xml.gz2004-11-09 10:20 203  
[ ]isomorphic.con.types.xml.gz2004-11-09 10:20 203  
[ ]invertible.con.types.xml.gz2004-11-09 10:23 204  
[ ]is_inverse.con.types.xml.gz2004-11-09 10:23 204  
[ ]isomorphism.con.types.xml.gz2004-11-09 10:20 204  
[ ]CMonoid_rect.con.types.xml.gz2004-11-09 10:20 205  
[ ]automorphism.con.types.xml.gz2004-11-09 10:20 207  
[ ]is_generator.con.types.xml.gz2004-11-09 10:20 207  
[ ]power_CMonoid.con.types.xml.gz2004-11-09 10:20 207  
[ ]is_CMonoid_rec.con.types.xml.gz2004-11-09 10:20 209  
[ ]is_CMonoid_rect.con.types.xml.gz2004-11-09 10:20 211  
[ ]Build_SubCMonoid.con.types.xml.gz2004-11-09 10:20 213  
[ ]Dbrack_as_CMonoid.con.types.xml.gz2004-11-09 10:23 213  
[ ]f_as_CSetoid_fun_.con.types.xml.gz2004-11-09 10:23 217  
[ ]free_monoid_as_CMonoid.con.types.xml.gz2004-11-09 10:23 220  
[ ]direct_product_as_CMonoid.con.types.xml.gz2004-11-09 10:23 228  
[ ]Dbrack_as_CMonoid.con.xml.gz2004-11-09 10:23 267  
[ ]free_monoid_as_CMonoid.con.xml.gz2004-11-09 10:23 268  
[ ]K_is_Monoid.con.xml.gz2004-11-09 10:23 275  
[ ]direct_product_as_CMonoid.con.xml.gz2004-11-09 10:23 281  
[ ]Build_SubCMonoid.con.xml.gz2004-11-09 10:20 293  
[ ]cm_crr.con.xml.gz2004-11-09 10:20 293  
[ ]FS_as_CMonoid.con.xml.gz2004-11-09 10:23 302  
[ ]PS_as_CMonoid.con.xml.gz2004-11-09 10:23 302  
[ ]cyclic.con.xml.gz2004-11-09 10:20 306  
[ ]Dbrack_unit.con.xml.gz2004-11-09 10:23 313  
[ ]isomorphic.con.xml.gz2004-11-09 10:20 321  
[ ]automorphism.con.body.xml.gz2004-11-09 10:20 325  
[ ]cm_rht_unit_unfolded.con.body.xml.gz2004-11-09 10:20 338  
[ ]cm_lft_unit_unfolded.con.body.xml.gz2004-11-09 10:20 339  
[ ]is_unit_FS_id.con.xml.gz2004-11-09 10:23 346  
[ ]CMonoid_is_CMonoid.con.xml.gz2004-11-09 10:20 353  
[ ]FS_id.con.xml.gz2004-11-09 10:23 384  
[ ]FS_as_CMonoid.con.types.xml.gz2004-11-09 10:23 385  
[ ]K.con.xml.gz2004-11-09 10:23 389  
[ ]Dbrack_as_CMonoid.con.body.xml.gz2004-11-09 10:23 394  
[ ]FS_id.con.body.xml.gz2004-11-09 10:23 394  
[ ]Dbrack.con.xml.gz2004-11-09 10:23 395  
[ ]K_is_Monoid.con.body.xml.gz2004-11-09 10:23 397  
[ ]iso_imp_bij.con.xml.gz2004-11-09 10:20 401  
[ ]cm_proof.con.xml.gz2004-11-09 10:20 402  
[ ]cm_unit.con.xml.gz2004-11-09 10:20 402  
[ ]CMonoid_rec.con.body.xml.gz2004-11-09 10:20 410  
[ ]CMonoid_ind.con.body.xml.gz2004-11-09 10:20 411  
[ ]free_monoid_is_CMonoid.con.xml.gz2004-11-09 10:23 415  
[ ]nil_is_lft_unit.con.xml.gz2004-11-09 10:23 420  
[ ]nil_is_rht_unit.con.xml.gz2004-11-09 10:23 421  
[ ]FS_is_CMonoid.con.xml.gz2004-11-09 10:23 432  
[ ]nonZeroP.con.xml.gz2004-11-09 10:20 434  
[ ]invertible.con.xml.gz2004-11-09 10:23 436  
[ ]is_generator.con.xml.gz2004-11-09 10:20 436  
[ ]free_monoid_as_CMonoid.con.body.xml.gz2004-11-09 10:23 449  
[ ]op_pres_K.con.xml.gz2004-11-09 10:23 458  
[ ]op_pres_Dbrack.con.xml.gz2004-11-09 10:23 462  
[ ]FS_as_CMonoid.con.body.xml.gz2004-11-09 10:23 464  
[ ]power_CMonoid.con.xml.gz2004-11-09 10:20 465  
[ ]K_is_Monoid.con.types.xml.gz2004-11-09 10:23 466  
[ ]free_monoid_is_CMonoid.con.body.xml.gz2004-11-09 10:23 466  
[ ]id_is_lft_unit.con.xml.gz2004-11-09 10:23 467  
[ ]id_is_rht_unit.con.xml.gz2004-11-09 10:23 467  
[ ]isomorphic_PM1M2_PM2M1.con.xml.gz2004-11-09 10:23 474  
[ ]K.con.body.xml.gz2004-11-09 10:23 483  
[ ]cm_rht_unit.con.xml.gz2004-11-09 10:20 483  
[ ]cm_lft_unit.con.xml.gz2004-11-09 10:20 484  
[ ]is_unit_Astar_empty_word.con.xml.gz2004-11-09 10:23 484  
[ ]automorphism.con.xml.gz2004-11-09 10:20 487  
[ ]is_inverse.con.xml.gz2004-11-09 10:23 489  
[ ]morphism.con.xml.gz2004-11-09 10:20 489  
[ ]iso_inv.con.xml.gz2004-11-09 10:20 494  
[ ]isomorphism.con.xml.gz2004-11-09 10:20 494  
[ ]cm_Sum.con.xml.gz2004-11-09 10:23 498  
[ ]FS_is_CMonoid.con.body.xml.gz2004-11-09 10:23 504  
[ ]is_CMonoid_rec.con.body.xml.gz2004-11-09 10:20 511  
[ ]nonZeroP.con.body.xml.gz2004-11-09 10:20 512  
[ ]is_CMonoid_ind.con.body.xml.gz2004-11-09 10:20 514  
[ ]f_as_CSetoid_fun_.con.xml.gz2004-11-09 10:23 527  
[ ]lunit.con.xml.gz2004-11-09 10:20 527  
[ ]runit.con.xml.gz2004-11-09 10:20 527  
[ ]f_strext'.con.xml.gz2004-11-09 10:23 531  
[ ]ismon_scrr.con.xml.gz2004-11-09 10:20 536  
[ ]generator_imp_cyclic.con.xml.gz2004-11-09 10:23 543  
[ ]CMonoid.ind.xml.gz2004-11-09 10:20 544  
[ ]Build_SubCMonoid.con.body.xml.gz2004-11-09 10:20 552  
[ ]PS_as_CMonoid.con.body.xml.gz2004-11-09 10:23 559  
[ ]f_as_CSetoid_fun_.con.body.xml.gz2004-11-09 10:23 584  
[ ]cm_unit_unique_lft.con.xml.gz2004-11-09 10:20 602  
[ ]cm_unit_unique_rht.con.xml.gz2004-11-09 10:20 602  
[ ]cm_crr.con.body.xml.gz2004-11-09 10:20 607  
[ ]direct_product_is_CMonoid.con.xml.gz2004-11-09 10:23 630  
[ ]id_is_lft_unit.con.body.xml.gz2004-11-09 10:23 631  
[ ]id_is_rht_unit.con.body.xml.gz2004-11-09 10:23 632  
[ ]CMonoid_is_CMonoid.con.body.xml.gz2004-11-09 10:20 635  
[ ]direct_product_as_CMonoid.con.body.xml.gz2004-11-09 10:23 643  
[ ]CMonoid_rec.con.xml.gz2004-11-09 10:20 652  
[ ]isomorphism.con.body.xml.gz2004-11-09 10:20 653  
[ ]CMonoid_ind.con.xml.gz2004-11-09 10:20 654  
[ ]CMonoid_rect.con.xml.gz2004-11-09 10:20 655  
[ ]direct_product_is_CMonoid.con.body.xml.gz2004-11-09 10:23 667  
[ ]cm_unit.con.body.xml.gz2004-11-09 10:20 669  
[ ]is_CMonoid_ind.con.xml.gz2004-11-09 10:20 682  
[ ]is_CMonoid_rect.con.xml.gz2004-11-09 10:20 684  
[ ]is_CMonoid_rec.con.xml.gz2004-11-09 10:20 686  
[ ]cm_proof.con.body.xml.gz2004-11-09 10:20 692  
[ ]e1e2_is_lft_unit.con.xml.gz2004-11-09 10:23 699  
[ ]e1e2_is_rht_unit.con.xml.gz2004-11-09 10:23 699  
[ ]cyc_imp_comm.con.xml.gz2004-11-09 10:23 702  
[ ]cm_rht_unit_unfolded.con.xml.gz2004-11-09 10:20 710  
[ ]cm_rht_unit.con.types.xml.gz2004-11-09 10:20 715  
[ ]cm_lft_unit.con.types.xml.gz2004-11-09 10:20 716  
[ ]cm_lft_unit_unfolded.con.xml.gz2004-11-09 10:20 720  
[ ]op_pres_K.con.body.xml.gz2004-11-09 10:23 735  
[ ]is_CMonoid.ind.xml.gz2004-11-09 10:20 739  
[ ]isomorphic.con.body.xml.gz2004-11-09 10:20 761  
[ ]cm_lft_unit.con.body.xml.gz2004-11-09 10:20 762  
[ ]cm_rht_unit.con.body.xml.gz2004-11-09 10:20 763  
[ ]is_inverse.con.body.xml.gz2004-11-09 10:23 782  
[ ]is_CMonoid_rect.con.body.xml.gz2004-11-09 10:20 788  
[ ]CMonoid_rect.con.body.xml.gz2004-11-09 10:20 791  
[ ]free_monoid_is_CMonoid.con.types.xml.gz2004-11-09 10:23 792  
[ ]runit.con.types.xml.gz2004-11-09 10:20 812  
[ ]lunit.con.types.xml.gz2004-11-09 10:20 814  
[ ]cm_rht_unit_unfolded.con.types.xml.gz2004-11-09 10:20 828  
[ ]is_generator.con.body.xml.gz2004-11-09 10:20 829  
[ ]cm_lft_unit_unfolded.con.types.xml.gz2004-11-09 10:20 830  
[ ]lunit.con.body.xml.gz2004-11-09 10:20 841  
[ ]runit.con.body.xml.gz2004-11-09 10:20 841  
[ ]FS_is_CMonoid.con.types.xml.gz2004-11-09 10:23 849  
[ ]CMonoid_ind.con.types.xml.gz2004-11-09 10:20 855  
[ ]is_CMonoid_ind.con.types.xml.gz2004-11-09 10:20 856  
[ ]CMonoid_is_CMonoid.con.types.xml.gz2004-11-09 10:20 857  
[ ]is_CMonoid_proof_irr.con.xml.gz2004-11-09 10:20 857  
[ ]generator_imp_cyclic.con.types.xml.gz2004-11-09 10:23 886  
[ ]cm_proof.con.types.xml.gz2004-11-09 10:20 903  
[ ]iso_imp_bij.con.types.xml.gz2004-11-09 10:20 920  
[ ]power_plus.con.xml.gz2004-11-09 10:20 921  
[ ]cm_Sum_app.con.xml.gz2004-11-09 10:23 968  
[ ]cyclic.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]invertible.con.body.xml.gz2004-11-09 10:23 1.0K 
[ ]nil_is_lft_unit.con.body.xml.gz2004-11-09 10:23 1.0K 
[ ]generator_imp_cyclic.con.body.xml.gz2004-11-09 10:23 1.0K 
[ ]PS_as_CMonoid.con.types.xml.gz2004-11-09 10:23 1.0K 
[ ]iso_imp_bij.con.body.xml.gz2004-11-09 10:20 1.0K 
[ ]Dbrack.con.body.xml.gz2004-11-09 10:23 1.0K 
[ ]is_unit_FS_id.con.body.xml.gz2004-11-09 10:23 1.1K 
[ ]power_CMonoid.con.body.xml.gz2004-11-09 10:20 1.1K 
[ ]nil_is_rht_unit.con.body.xml.gz2004-11-09 10:23 1.2K 
[ ]cm_unit_unique_lft.con.body.xml.gz2004-11-09 10:20 1.2K 
[ ]cm_unit_unique_rht.con.body.xml.gz2004-11-09 10:20 1.2K 
[ ]Dbrack_unit.con.types.xml.gz2004-11-09 10:23 1.3K 
[ ]cm_Sum.con.body.xml.gz2004-11-09 10:23 1.3K 
[ ]is_CMonoid_proof_irr.con.body.xml.gz2004-11-09 10:20 1.4K 
[ ]weakly_inj1.con.xml.gz2004-11-09 10:23 1.4K 
[ ]power_k.con.xml.gz2004-11-09 10:21 1.4K 
[ ]power_k_n_subproof.con.xml.gz2004-11-09 10:21 1.5K 
[ ]Dbrack_unit.con.body.xml.gz2004-11-09 10:23 1.5K 
[ ]is_unit_Astar_empty_word.con.body.xml.gz2004-11-09 10:23 1.5K 
[ ]morphism.con.body.xml.gz2004-11-09 10:20 1.6K 
[ ]direct_product_is_CMonoid.con.types.xml.gz2004-11-09 10:23 1.6K 
[ ]nil_is_lft_unit.con.types.xml.gz2004-11-09 10:23 1.6K 
[ ]power_k_n.con.xml.gz2004-11-09 10:23 1.6K 
[ ]power_k_subproof.con.xml.gz2004-11-09 10:21 1.7K 
[ ]cm_unit_unique_lft.con.types.xml.gz2004-11-09 10:20 1.7K 
[ ]cm_unit_unique_rht.con.types.xml.gz2004-11-09 10:20 1.7K 
[ ]id_is_lft_unit.con.types.xml.gz2004-11-09 10:23 1.7K 
[ ]id_is_rht_unit.con.types.xml.gz2004-11-09 10:23 1.7K 
[ ]ismon_scrr.con.body.xml.gz2004-11-09 10:20 1.8K 
[ ]nil_is_rht_unit.con.types.xml.gz2004-11-09 10:23 2.0K 
[ ]weakly_inj1_subproof.con.xml.gz2004-11-09 10:23 2.0K 
[ ]weakly_inj1_subproof0.con.xml.gz2004-11-09 10:23 2.0K 
[ ]e1e2_is_rht_unit.con.body.xml.gz2004-11-09 10:23 2.1K 
[ ]e1e2_is_lft_unit.con.body.xml.gz2004-11-09 10:23 2.1K 
[ ]power_k_n_subproof0.con.xml.gz2004-11-09 10:21 2.2K 
[ ]op_pres_K.con.types.xml.gz2004-11-09 10:23 2.3K 
[ ]power_k_n_subproof1.con.xml.gz2004-11-09 10:21 2.4K 
[ ]is_CMonoid_proof_irr.con.types.xml.gz2004-11-09 10:20 2.7K 
[ ]power_k_n_subproof3.con.xml.gz2004-11-09 10:22 2.8K 
[ ]power_k_n_subproof2.con.xml.gz2004-11-09 10:21 2.9K 
[ ]is_unit_Astar_empty_word.con.types.xml.gz2004-11-09 10:23 3.0K 
[ ]is_unit_FS_id.con.types.xml.gz2004-11-09 10:23 3.3K 
[ ]cm_Sum_app.con.body.xml.gz2004-11-09 10:23 3.6K 
[ ]power_plus.con.body.xml.gz2004-11-09 10:20 3.8K 
[ ]ismon_scrr.con.types.xml.gz2004-11-09 10:20 3.8K 
[ ]e1e2_is_lft_unit.con.types.xml.gz2004-11-09 10:23 4.2K 
[ ]e1e2_is_rht_unit.con.types.xml.gz2004-11-09 10:23 4.2K 
[ ]INDEX2005-07-05 08:11 4.3K 
[ ]f_strext'.con.body.xml.gz2004-11-09 10:23 4.3K 
[ ]power_plus.con.types.xml.gz2004-11-09 10:20 5.1K 
[ ]cm_Sum_app.con.types.xml.gz2004-11-09 10:23 5.3K 
[ ]f_strext'.con.types.xml.gz2004-11-09 10:23 6.2K 
[ ]power_k_n_subproof.con.types.xml.gz2004-11-09 10:21 12K 
[ ]power_k_n_subproof.con.body.xml.gz2004-11-09 10:21 12K 
[ ]isomorphic_PM1M2_PM2M1.con.body.xml.gz2004-11-09 10:23 15K 
[ ]isomorphic_PM1M2_PM2M1.con.types.xml.gz2004-11-09 10:23 19K 
[ ]cyc_imp_comm.con.body.xml.gz2004-11-09 10:23 20K 
[ ]weakly_inj1_subproof0.con.types.xml.gz2004-11-09 10:23 25K 
[ ]weakly_inj1_subproof.con.types.xml.gz2004-11-09 10:23 25K 
[ ]power_k_n_subproof0.con.body.xml.gz2004-11-09 10:21 28K 
[ ]power_k.con.body.xml.gz2004-11-09 10:21 28K 
[ ]cyc_imp_comm.con.types.xml.gz2004-11-09 10:23 29K 
[ ]weakly_inj1_subproof0.con.body.xml.gz2004-11-09 10:23 30K 
[ ]weakly_inj1_subproof.con.body.xml.gz2004-11-09 10:23 30K 
[ ]power_k.con.types.xml.gz2004-11-09 10:21 30K 
[ ]power_k_n_subproof1.con.types.xml.gz2004-11-09 10:21 32K 
[ ]power_k_n_subproof0.con.types.xml.gz2004-11-09 10:21 33K 
[ ]power_k_n_subproof1.con.body.xml.gz2004-11-09 10:21 34K 
[ ]op_pres_Dbrack.con.types.xml.gz2004-11-09 10:23 36K 
[ ]op_pres_Dbrack.con.body.xml.gz2004-11-09 10:23 39K 
[ ]iso_inv.con.body.xml.gz2004-11-09 10:20 39K 
[ ]iso_inv.con.types.xml.gz2004-11-09 10:20 44K 
[ ]weakly_inj1.con.types.xml.gz2004-11-09 10:23 62K 
[ ]weakly_inj1.con.body.xml.gz2004-11-09 10:23 64K 
[ ]power_k_subproof.con.types.xml.gz2004-11-09 10:21 94K 
[ ]power_k_subproof.con.body.xml.gz2004-11-09 10:21 111K 
[ ]power_k_n.con.body.xml.gz2004-11-09 10:23 117K 
[ ]power_k_n.con.types.xml.gz2004-11-09 10:23 194K 
[ ]power_k_n_subproof2.con.types.xml.gz2004-11-09 10:21 197K 
[ ]power_k_n_subproof2.con.body.xml.gz2004-11-09 10:21 276K 
[ ]power_k_n_subproof3.con.types.xml.gz2004-11-09 10:23 707K 
[ ]power_k_n_subproof3.con.body.xml.gz2004-11-09 10:22 1.0M 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80