Skip to content

feat: strengthen finIdxOf? lemmas#8678

Merged
TwoFX merged 4 commits intoleanprover:masterfrom
eric-wieser:patch-51
Jun 11, 2025
Merged

feat: strengthen finIdxOf? lemmas#8678
TwoFX merged 4 commits intoleanprover:masterfrom
eric-wieser:patch-51

Commits

Commits on Jun 8, 2025

Commits on Jun 11, 2025