(Unsuccessful) trials to get rid of uses of ex_EX...
Showing
- FEM/Algebra/AffineSpace_new.v 3388 additions, 0 deletionsFEM/Algebra/AffineSpace_new.v
- FEM/Algebra/Finite_dim_new.v 2051 additions, 0 deletionsFEM/Algebra/Finite_dim_new.v
- FEM/Algebra/Ring_compl.v 2 additions, 2 deletionsFEM/Algebra/Ring_compl.v
- FEM/Algebra/Ring_compl_new.v 1512 additions, 0 deletionsFEM/Algebra/Ring_compl_new.v
Loading
Please register or sign in to comment