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