Mathlib Changelog
v4
Changelog
About
Github
Def
importPathMessage
Modification history
2026-01-26 23:03
Mathlib/Util/AssertExists.lean
chore: bump toolchain to v4.28.0-rc1 (#34436) …
Deleted
importPathMessage
View on Github →
2025-05-04 18:05
Mathlib/Util/AssertExists.lean
feat: add import chain to `assert_not_imported` message (#24595) …
Added
importPathMessage
View on Github →