FEM/FE_LagP.v · f3e9e0121a65e6e68bcf22c158586dcafe6fd511 · Micaela Mayero / Numerical Analysis in Coq · GitLab

Snippets Groups Projects

1 week ago
f3e9e012
Modif Hface_{0,S}_unisolvence. · f3e9e012
François Clément authored 1 week ago
```
Add unisolvence_inj_Hface (candidate to factor step 1 and face unisolvence).
```
f3e9e012

History
Modif Hface_{0,S}_unisolvence.
François Clément authored 1 week ago
```
Add unisolvence_inj_Hface (candidate to factor step 1 and face unisolvence).
```