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 →