fix: fix IndexType instances for Prod and Sum - Githubissues

JamesGallicchio / LeanColls

WIP collections library for Lean 4

https://jamesgallicchio.github.io/LeanColls/docs/

Apache License 2.0

30 stars 7 forks source link

fix: fix IndexType instances for Prod and Sum #21

Closed lecopivo closed 8 months ago

lecopivo commented 8 months ago

Fixing universes in Prod and Sum instances for IndexType