Commit 2025-03-31 00:17 2ca9a55a
View on Github →feat(Cache): extend argument-parsing to allow module names and file names (#21822)
Accept both Mathlib.Init and Mathlib/Init.lean as arguments.
feat(Cache): extend argument-parsing to allow module names and file names (#21822)
Accept both Mathlib.Init and Mathlib/Init.lean as arguments.