Provide fun_ext{,_rev} in logic_compl.
Simplify proofs in geometry. Tune imports in FEM.
Showing
- FEM/Algebra/Finite_dim_R.v 4 additions, 4 deletionsFEM/Algebra/Finite_dim_R.v
- FEM/Algebra/MonoidComp.v 1 addition, 1 deletionFEM/Algebra/MonoidComp.v
- FEM/Compl/Function_compl.v 3 additions, 6 deletionsFEM/Compl/Function_compl.v
- FEM/Compl/logic_compl.v 15 additions, 4 deletionsFEM/Compl/logic_compl.v
- FEM/FE.v 6 additions, 18 deletionsFEM/FE.v
- FEM/FE_LagP.v 7 additions, 18 deletionsFEM/FE_LagP.v
- FEM/FE_simplex.v 8 additions, 20 deletionsFEM/FE_simplex.v
- FEM/P_approx_k.v 11 additions, 14 deletionsFEM/P_approx_k.v
- FEM/binomial.v 22 additions, 25 deletionsFEM/binomial.v
- FEM/geometry.v 20 additions, 76 deletionsFEM/geometry.v
- FEM/monomial.v 5 additions, 20 deletionsFEM/monomial.v
- FEM/multi_index.v 4 additions, 6 deletionsFEM/multi_index.v
- FEM/poly_Lagrange.v 31 additions, 27 deletionsFEM/poly_Lagrange.v
Loading
Please register or sign in to comment