Skip to content

Update src/Init/Data/List/Find.lean

67e91ae
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: strengthen finIdxOf? lemmas #8678

Update src/Init/Data/List/Find.lean
67e91ae
Select commit
Loading
Failed to load commit list.