Distribute specific parts of Sub_struct into the dedicated files for each algebraic structure.
cated files.
Showing
- FEM/Algebra/AffineSpace.v 1106 additions, 4 deletionsFEM/Algebra/AffineSpace.v
- FEM/Algebra/Algebra.v 2 additions, 2 deletionsFEM/Algebra/Algebra.v
- FEM/Algebra/Group_compl.v 736 additions, 2 deletionsFEM/Algebra/Group_compl.v
- FEM/Algebra/ModuleSpace_R_compl.v 38 additions, 1 deletionFEM/Algebra/ModuleSpace_R_compl.v
- FEM/Algebra/ModuleSpace_compl.v 905 additions, 2 deletionsFEM/Algebra/ModuleSpace_compl.v
- FEM/Algebra/MonoidComp.v 1 addition, 1 deletionFEM/Algebra/MonoidComp.v
- FEM/Algebra/Monoid_compl.v 755 additions, 1 deletionFEM/Algebra/Monoid_compl.v
- FEM/Algebra/Ring_compl.v 362 additions, 3 deletionsFEM/Algebra/Ring_compl.v
- FEM/Algebra/Sub_struct.v 1 addition, 3907 deletionsFEM/Algebra/Sub_struct.v
- _CoqProject 2 additions, 2 deletions_CoqProject
Loading
Please register or sign in to comment