Index of /xml/CoRN/algebra/CGroups

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Assoc_properties/2005-07-05 08:13 -  
[DIR]CGroup_Ops/2005-07-05 08:13 -  
[DIR]CGroup_axioms/2005-07-05 08:13 -  
[DIR]CGroup_basics/2005-07-05 08:13 -  
[DIR]cgroups_apartness/2005-07-05 08:13 -  
[ ]CGroup.ind.types.xml.gz2004-11-09 10:23 195  
[ ]cg_crr.con.types.xml.gz2004-11-09 10:23 198  
[ ]cg_inv.con.types.xml.gz2004-11-09 10:23 198  
[ ]cg_minus.con.types.xml.gz2004-11-09 10:23 201  
[ ]is_CGroup.con.types.xml.gz2004-11-09 10:23 202  
[ ]CGroup_rec.con.types.xml.gz2004-11-09 10:23 203  
[ ]CGroup_rect.con.types.xml.gz2004-11-09 10:23 205  
[ ]Build_SubCGroup.con.types.xml.gz2004-11-09 10:23 212  
[ ]plus_cancel_ap_rht.con.types.xml.gz2004-11-09 10:23 219  
[ ]plus_cancel_ap_rht.con.body.xml.gz2004-11-09 10:23 284  
[ ]cg_crr.con.xml.gz2004-11-09 10:23 292  
[ ]Build_SubCGroup.con.xml.gz2004-11-09 10:23 301  
[ ]PS_as_CGroup.con.xml.gz2004-11-09 10:23 301  
[ ]cg_inverse.con.body.xml.gz2004-11-09 10:23 301  
[ ]isgrp_scrr.con.xml.gz2004-11-09 10:23 344  
[ ]PS_as_CGroup.con.types.xml.gz2004-11-09 10:23 369  
[ ]Finv.con.xml.gz2004-11-09 10:23 377  
[ ]Fminus.con.xml.gz2004-11-09 10:23 390  
[ ]Build_SubCGroup.con.body.xml.gz2004-11-09 10:23 392  
[ ]cg_proof.con.xml.gz2004-11-09 10:23 405  
[ ]CGroup_rec.con.body.xml.gz2004-11-09 10:23 410  
[ ]CGroup_ind.con.body.xml.gz2004-11-09 10:23 411  
[ ]cg_minus_is_csetoid_bin_op.con.xml.gz2004-11-09 10:23 422  
[ ]PS_is_CGroup.con.xml.gz2004-11-09 10:23 432  
[ ]PS_Inv.con.types.xml.gz2004-11-09 10:23 438  
[ ]cg_inv.con.xml.gz2004-11-09 10:23 468  
[ ]PS_as_CGroup.con.body.xml.gz2004-11-09 10:23 471  
[ ]Inv_as_un_op.con.xml.gz2004-11-09 10:23 476  
[ ]is_CGroup.con.xml.gz2004-11-09 10:23 476  
[ ]cg_minus_correct.con.body.xml.gz2004-11-09 10:23 488  
[ ]PS_Inv.con.xml.gz2004-11-09 10:23 489  
[ ]cg_minus_is_csetoid_bin_op.con.body.xml.gz2004-11-09 10:23 490  
[ ]included_FInv.con.body.xml.gz2004-11-09 10:23 530  
[ ]cg_minus.con.xml.gz2004-11-09 10:23 546  
[ ]cg_minus_correct.con.xml.gz2004-11-09 10:23 581  
[ ]cg_inv_zero.con.xml.gz2004-11-09 10:23 583  
[ ]included_FInv'.con.body.xml.gz2004-11-09 10:23 610  
[ ]CGroup.ind.xml.gz2004-11-09 10:23 611  
[ ]included_FInv.con.xml.gz2004-11-09 10:23 627  
[ ]included_FInv'.con.xml.gz2004-11-09 10:23 644  
[ ]included_FMinus'.con.xml.gz2004-11-09 10:23 657  
[ ]included_FMinus''.con.xml.gz2004-11-09 10:23 659  
[ ]cg_crr.con.body.xml.gz2004-11-09 10:23 682  
[ ]cg_zero_inv.con.xml.gz2004-11-09 10:23 706  
[ ]zero_minus.con.body.xml.gz2004-11-09 10:23 707  
[ ]cg_inv_unique_2.con.xml.gz2004-11-09 10:23 712  
[ ]x_minus_x.con.xml.gz2004-11-09 10:23 713  
[ ]zero_minus_apart.con.xml.gz2004-11-09 10:23 718  
[ ]included_FMinus.con.xml.gz2004-11-09 10:23 721  
[ ]CGroup_rec.con.xml.gz2004-11-09 10:23 730  
[ ]CGroup_rect.con.xml.gz2004-11-09 10:23 730  
[ ]CGroup_ind.con.xml.gz2004-11-09 10:23 732  
[ ]minus_ap_zero.con.xml.gz2004-11-09 10:23 732  
[ ]zero_minus.con.xml.gz2004-11-09 10:23 754  
[ ]cg_inv.con.body.xml.gz2004-11-09 10:23 757  
[ ]cg_inverse.con.xml.gz2004-11-09 10:23 763  
[ ]cg_proof.con.body.xml.gz2004-11-09 10:23 767  
[ ]cg_inverse'.con.xml.gz2004-11-09 10:23 776  
[ ]minus_resp_ap_rht.con.xml.gz2004-11-09 10:23 795  
[ ]minus_resp_ap_lft.con.xml.gz2004-11-09 10:23 799  
[ ]included_FMinus'.con.body.xml.gz2004-11-09 10:23 802  
[ ]minus_cancel_ap_rht.con.xml.gz2004-11-09 10:23 803  
[ ]included_FMinus''.con.body.xml.gz2004-11-09 10:23 809  
[ ]cg_inv_inv.con.xml.gz2004-11-09 10:23 810  
[ ]inv_resp_ap_zero.con.xml.gz2004-11-09 10:23 826  
[ ]is_CGroup.con.body.xml.gz2004-11-09 10:23 829  
[ ]included_FInv'.con.types.xml.gz2004-11-09 10:23 840  
[ ]cg_zero_inv.con.body.xml.gz2004-11-09 10:23 844  
[ ]included_FInv.con.types.xml.gz2004-11-09 10:23 845  
[ ]assoc_2.con.body.xml.gz2004-11-09 10:23 850  
[ ]cg_inverse.con.types.xml.gz2004-11-09 10:23 851  
[ ]included_FMinus.con.body.xml.gz2004-11-09 10:23 859  
[ ]cg_cancel_mixed.con.xml.gz2004-11-09 10:23 865  
[ ]CGroup_rect.con.body.xml.gz2004-11-09 10:23 870  
[ ]grp_inv_assoc.con.xml.gz2004-11-09 10:23 873  
[ ]cg_minus_wd.con.xml.gz2004-11-09 10:23 896  
[ ]cg_minus.con.body.xml.gz2004-11-09 10:23 912  
[ ]cg_lft_inv_unfolded.con.xml.gz2004-11-09 10:23 930  
[ ]minus_resp_ap_rht.con.body.xml.gz2004-11-09 10:23 933  
[ ]cg_rht_inv_unfolded.con.xml.gz2004-11-09 10:23 937  
[ ]CGroup_ind.con.types.xml.gz2004-11-09 10:23 948  
[ ]cg_minus_strext.con.xml.gz2004-11-09 10:23 950  
[ ]inv_resp_ap.con.xml.gz2004-11-09 10:23 957  
[ ]cg_proof.con.types.xml.gz2004-11-09 10:23 1.0K 
[ ]cg_minus_unfolded.con.body.xml.gz2004-11-09 10:23 1.0K 
[ ]cg_minus_unfolded.con.xml.gz2004-11-09 10:23 1.0K 
[ ]included_FMinus''.con.types.xml.gz2004-11-09 10:23 1.0K 
[ ]cg_inv_unique.con.xml.gz2004-11-09 10:23 1.0K 
[ ]cg_inv_unique'.con.xml.gz2004-11-09 10:23 1.0K 
[ ]included_FMinus'.con.types.xml.gz2004-11-09 10:23 1.0K 
[ ]Finv.con.body.xml.gz2004-11-09 10:23 1.0K 
[ ]plus_resp_eq.con.body.xml.gz2004-11-09 10:23 1.1K 
[ ]cg_add_ap_zero.con.xml.gz2004-11-09 10:23 1.1K 
[ ]x_minus_x.con.body.xml.gz2004-11-09 10:23 1.1K 
[ ]x_minus_x.con.types.xml.gz2004-11-09 10:23 1.1K 
[ ]cg_zero_inv.con.types.xml.gz2004-11-09 10:23 1.1K 
[ ]assoc_2.con.xml.gz2004-11-09 10:23 1.1K 
[ ]op_rht_resp_ap.con.xml.gz2004-11-09 10:23 1.1K 
[ ]cg_cancel_lft.con.xml.gz2004-11-09 10:23 1.1K 
[ ]minus_ap_zero.con.body.xml.gz2004-11-09 10:23 1.1K 
[ ]plus_resp_eq.con.xml.gz2004-11-09 10:23 1.1K 
[ ]cg_cancel_rht.con.xml.gz2004-11-09 10:23 1.1K 
[ ]cg_minus_is_csetoid_bin_op.con.types.xml.gz2004-11-09 10:23 1.1K 
[ ]plus_cancel_ap_rht.con.xml.gz2004-11-09 10:23 1.1K 
[ ]cg_ap_cancel_rht.con.xml.gz2004-11-09 10:23 1.1K 
[ ]PS_Inv.con.body.xml.gz2004-11-09 10:23 1.1K 
[ ]cg_minus_correct.con.types.xml.gz2004-11-09 10:23 1.2K 
[ ]part_function_inv_strext.con.xml.gz2004-11-09 10:23 1.2K 
[ ]cg_inv_op.con.xml.gz2004-11-09 10:23 1.4K 
[ ]included_FMinus.con.types.xml.gz2004-11-09 10:23 1.4K 
[ ]cg_inverse'.con.body.xml.gz2004-11-09 10:23 1.4K 
[ ]part_function_inv_strext.con.body.xml.gz2004-11-09 10:23 1.5K 
[ ]zero_minus.con.types.xml.gz2004-11-09 10:23 1.5K 
[ ]minus_cancel_ap_rht.con.body.xml.gz2004-11-09 10:23 1.5K 
[ ]minus_resp_ap_rht.con.types.xml.gz2004-11-09 10:23 1.6K 
[ ]plus_resp_eq.con.types.xml.gz2004-11-09 10:23 1.7K 
[ ]cg_inv_zero.con.body.xml.gz2004-11-09 10:23 1.7K 
[ ]part_function_minus_strext.con.xml.gz2004-11-09 10:23 1.7K 
[ ]minus_ap_zero.con.types.xml.gz2004-11-09 10:23 1.8K 
[ ]minus_cancel_ap_rht.con.types.xml.gz2004-11-09 10:23 1.9K 
[ ]Finv.con.types.xml.gz2004-11-09 10:23 2.0K 
[ ]cg_inv_zero.con.types.xml.gz2004-11-09 10:23 2.0K 
[ ]cg_minus_unfolded.con.types.xml.gz2004-11-09 10:23 2.0K 
[ ]Fminus.con.body.xml.gz2004-11-09 10:23 2.1K 
[ ]part_function_inv_strext.con.types.xml.gz2004-11-09 10:23 2.1K 
[ ]cg_add_ap_zero.con.body.xml.gz2004-11-09 10:23 2.1K 
[ ]isgrp_scrr.con.body.xml.gz2004-11-09 10:23 2.3K 
[ ]cg_add_ap_zero.con.types.xml.gz2004-11-09 10:23 2.3K 
[ ]inv_resp_ap_zero.con.body.xml.gz2004-11-09 10:23 2.5K 
[ ]assoc_2.con.types.xml.gz2004-11-09 10:23 2.6K 
[ ]cg_inverse'.con.types.xml.gz2004-11-09 10:23 2.6K 
[ ]cg_lft_inv_unfolded.con.body.xml.gz2004-11-09 10:23 2.7K 
[ ]cg_rht_inv_unfolded.con.body.xml.gz2004-11-09 10:23 2.7K 
[ ]inv_resp_ap.con.body.xml.gz2004-11-09 10:23 2.7K 
[ ]PS_is_CGroup.con.body.xml.gz2004-11-09 10:23 2.8K 
[ ]inv_resp_ap.con.types.xml.gz2004-11-09 10:23 2.9K 
[ ]cg_inv_unique_2.con.body.xml.gz2004-11-09 10:23 3.0K 
[ ]cg_minus_wd.con.body.xml.gz2004-11-09 10:23 3.1K 
[ ]inv_resp_ap_zero.con.types.xml.gz2004-11-09 10:23 3.2K 
[ ]INDEX2005-07-05 08:11 3.2K 
[ ]grp_inv_assoc.con.body.xml.gz2004-11-09 10:23 3.4K 
[ ]zero_minus_apart.con.body.xml.gz2004-11-09 10:23 3.4K 
[ ]cg_lft_inv_unfolded.con.types.xml.gz2004-11-09 10:23 3.5K 
[ ]cg_minus_wd.con.types.xml.gz2004-11-09 10:23 3.5K 
[ ]cg_rht_inv_unfolded.con.types.xml.gz2004-11-09 10:23 3.5K 
[ ]cg_inv_unique_2.con.types.xml.gz2004-11-09 10:23 3.6K 
[ ]zero_minus_apart.con.types.xml.gz2004-11-09 10:23 3.8K 
[ ]cg_minus_strext.con.body.xml.gz2004-11-09 10:23 3.8K 
[ ]Fminus.con.types.xml.gz2004-11-09 10:23 3.9K 
[ ]cg_cancel_mixed.con.body.xml.gz2004-11-09 10:23 4.1K 
[ ]isgrp_scrr.con.types.xml.gz2004-11-09 10:23 4.3K 
[ ]grp_inv_assoc.con.types.xml.gz2004-11-09 10:23 4.6K 
[ ]cg_cancel_mixed.con.types.xml.gz2004-11-09 10:23 5.1K 
[ ]cg_minus_strext.con.types.xml.gz2004-11-09 10:23 5.2K 
[ ]Inv_as_un_op.con.body.xml.gz2004-11-09 10:23 6.1K 
[ ]minus_resp_ap_lft.con.body.xml.gz2004-11-09 10:23 6.3K 
[ ]cg_inv_unique.con.body.xml.gz2004-11-09 10:23 6.3K 
[ ]part_function_minus_strext.con.body.xml.gz2004-11-09 10:23 6.5K 
[ ]cg_ap_cancel_rht.con.body.xml.gz2004-11-09 10:23 6.6K 
[ ]cg_inv_unique.con.types.xml.gz2004-11-09 10:23 6.7K 
[ ]op_rht_resp_ap.con.body.xml.gz2004-11-09 10:23 6.9K 
[ ]cg_inv_unique'.con.body.xml.gz2004-11-09 10:23 7.3K 
[ ]cg_inv_unique'.con.types.xml.gz2004-11-09 10:23 7.7K 
[ ]cg_ap_cancel_rht.con.types.xml.gz2004-11-09 10:23 7.8K 
[ ]Inv_as_un_op.con.types.xml.gz2004-11-09 10:23 7.9K 
[ ]minus_resp_ap_lft.con.types.xml.gz2004-11-09 10:23 8.0K 
[ ]cg_inv_inv.con.body.xml.gz2004-11-09 10:23 8.1K 
[ ]cg_inv_inv.con.types.xml.gz2004-11-09 10:23 8.8K 
[ ]part_function_minus_strext.con.types.xml.gz2004-11-09 10:23 8.9K 
[ ]op_rht_resp_ap.con.types.xml.gz2004-11-09 10:23 9.4K 
[ ]PS_is_CGroup.con.types.xml.gz2004-11-09 10:23 9.4K 
[ ]cg_cancel_lft.con.body.xml.gz2004-11-09 10:23 10K 
[ ]cg_cancel_rht.con.body.xml.gz2004-11-09 10:23 10K 
[ ]cg_cancel_rht.con.types.xml.gz2004-11-09 10:23 11K 
[ ]cg_cancel_lft.con.types.xml.gz2004-11-09 10:23 11K 
[ ]cg_inv_op.con.body.xml.gz2004-11-09 10:23 15K 
[ ]cg_inv_op.con.types.xml.gz2004-11-09 10:23 16K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80