cases

📁 Source: MathlibTest/cases.lean

Statistics

Metric	Count
Definitions cases, cases, cases	3
Theorems cases, cases	2
Total	5

CategoryTheory.ActionCategory

Definitions

Name	Category	Theorems
cases 📖	CompOp	—

CategoryTheory.MorphismProperty.LeftFraction

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
cases 📖	mathematical	—	Quiver.Hom CategoryTheory.CategoryStruct.toQuiver CategoryTheory.Category.toCategoryStruct	—	hs

CategoryTheory.MorphismProperty.RightFraction

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
cases 📖	mathematical	—	Quiver.Hom CategoryTheory.CategoryStruct.toQuiver CategoryTheory.Category.toCategoryStruct	—	hs

Mathlib.Linter.Style.linter.style

Definitions

Name	Category	Theorems
cases 📖	CompOp	—

PFunctor.M

Definitions

Name	Category	Theorems
cases 📖	CompOp	1 math math: cases_mk

---

← Back to Index