diff options
| author | Gaëtan Gilbert | 2020-07-02 15:30:07 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-07-05 21:03:17 +0200 |
| commit | 1e92ed4d129aea5ea4e9300a24e1135cc186c341 (patch) | |
| tree | c78ff50d0d156a54b950aaf7b1a80b36b2e23b14 /doc/sphinx/_static/notations.css | |
| parent | cea10e4e16c05b06693184425dd70ce6e5eba8a8 (diff) | |
Fix Canonical with universe polymorphism and primitive projection
Perhaps we should thread an evar map with the Var universes added
through to cs_pattern_of_constr but that would be significantly more invasive.
Fix #12528
Diffstat (limited to 'doc/sphinx/_static/notations.css')
0 files changed, 0 insertions, 0 deletions