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.