Slice

📁 Source: Mathlib/Tactic/CategoryTheory/Slice.lean

Statistics

Metric	Count
Definitions convSlice___, evalSlice, slice, sliceLHS, sliceRHS	5
Theorems	0
Total	5

Mathlib.Tactic.Slice

Definitions

Name	Category	Theorems
convSlice___ 📖	CompOp	—
evalSlice 📖	CompOp	—
slice 📖	CompOp	—
sliceLHS 📖	CompOp	—
sliceRHS 📖	CompOp	—

---

← Back to Index