Mathlib Changelog
v4
Changelog
About
Github
Def
evalSlice
Modification history
2026-02-13 16:28
Mathlib/Tactic/CategoryTheory/Slice.lean
chore: add missing `namespace`s (#34631) …
Deleted
evalSlice
View on Github →
2023-02-09 13:57
Mathlib/Tactic/Slice.lean
feat: port Tactic.Slice (#2109) …
Added
evalSlice
View on Github →