diff options
| author | Cyril Cohen | 2020-05-04 13:16:06 +0200 |
|---|---|---|
| committer | GitHub | 2020-05-04 13:16:06 +0200 |
| commit | 9ecb541cd573534a3144dd5b5f86c4312ff798b5 (patch) | |
| tree | 2a3aa7215f7bbf8b11ece9c2e794df32dcb9ca36 /mathcomp/_CoqProject | |
| parent | 709756f9bbb92b5e5844e0133627271c974a11c2 (diff) | |
| parent | c67dde4080b9c4470b8ab4ff828707fb0044d3dc (diff) | |
Merge pull request #490 from pi8027/fix-fin-dual-order
Add dual_finLatticeType and fix dual_finDistrLatticeType
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions