diff options
| author | Enrico Tassi | 2020-03-19 09:35:10 +0100 |
|---|---|---|
| committer | GitHub | 2020-03-19 09:35:10 +0100 |
| commit | 14e28e78155e3e6cfbe78aee0964569283f04d7d (patch) | |
| tree | 3121d30d9dd3d080ab866d743ae0f41c001faef8 /mathcomp/ssreflect/seq.v | |
| parent | 0f6039deec22723266023a12ccc1d2f6b392e0d7 (diff) | |
| parent | 07c4a344fb6db89acb33f4d38a11bdd4aed047da (diff) | |
Merge pull request #463 from pi8027/hierarchy-transitive-closure
Fix hierarchy.ml to compute the transitive closure of a hierarchy
Diffstat (limited to 'mathcomp/ssreflect/seq.v')
0 files changed, 0 insertions, 0 deletions