Commit 2026-03-18 13:51 369423a5
View on Github →refactor(Combinatorics/SimpleGraph): make the vertex argument explicit in Walk.rotate (#36800)
It is annoying for it not to appear in the infoview. In general, no implicit data argument to a definition should be inferrable only through proof arguments.