fix: handle reordered indices in structural recursion #5243
Triggered via pull request
November 18, 2024 11:30
leanprover-community-bot
leanprover-community-bot
labeled
#6116
Status
Skipped
Total duration
2s
Artifacts
–