Rm useless def ones. (Use 1 instead!)
Use abstract scopes in monomial too.
Showing
- Algebra/AffineSpace/AffineSpace_baryc.v 4 additions, 4 deletionsAlgebra/AffineSpace/AffineSpace_baryc.v
- Algebra/AffineSpace/AffineSpace_sub.v 2 additions, 2 deletionsAlgebra/AffineSpace/AffineSpace_sub.v
- Algebra/Finite_dim/Finite_dim_AS_aff_map.v 1 addition, 1 deletionAlgebra/Finite_dim/Finite_dim_AS_aff_map.v
- Algebra/Finite_dim/Finite_dim_AS_aff_span.v 1 addition, 1 deletionAlgebra/Finite_dim/Finite_dim_AS_aff_span.v
- Algebra/Finite_dim/Finite_dim_MS_lin_indep_R.v 1 addition, 1 deletionAlgebra/Finite_dim/Finite_dim_MS_lin_indep_R.v
- Algebra/ModuleSpace/ModuleSpace_FF_FT.v 2 additions, 2 deletionsAlgebra/ModuleSpace/ModuleSpace_FF_FT.v
- Algebra/ModuleSpace/ModuleSpace_compl.v 1 addition, 1 deletionAlgebra/ModuleSpace/ModuleSpace_compl.v
- Algebra/ModuleSpace/ModuleSpace_lin_comb.v 2 additions, 2 deletionsAlgebra/ModuleSpace/ModuleSpace_lin_comb.v
- Algebra/Ring/Ring_FF_FT.v 3 additions, 15 deletionsAlgebra/Ring/Ring_FF_FT.v
- FEM/monomial.v 24 additions, 25 deletionsFEM/monomial.v
- FEM/poly_Pdk.v 1 addition, 1 deletionFEM/poly_Pdk.v
Loading
Please register or sign in to comment