diff options
| author | Kazuhiko Sakaguchi | 2020-03-02 06:32:57 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-03-15 14:10:22 +0900 |
| commit | 07c4a344fb6db89acb33f4d38a11bdd4aed047da (patch) | |
| tree | 38a5b7126c1be80a341e59179c37870338c16cc3 /mathcomp/character | |
| parent | d2443948206ddf78706add540c27341da4abc906 (diff) | |
Fix hierarchy.ml to compute the transitive closure of a hierarchy
Diffstat (limited to 'mathcomp/character')
0 files changed, 0 insertions, 0 deletions