MeasCat

📁 Source: Mathlib/MeasureTheory/Category/MeasCat.lean

Statistics

Metric	Count
Definitions Borel, MeasCat, Giry, carrier, instCoeSortType, instConcreteCategorySubtypeForallCarrierMeasurable, instFunLikeSubtypeForallCarrierMeasurable, instInhabited, instLargeCategory, str, hasForgetToMeasCat	11
Theorems coe_of	1
Total	12

MeasCat

Definitions

Name	Category	Theorems
Giry 📖	CompOp	—
carrier 📖	CompOp	1 math math: coe_of
instCoeSortType 📖	CompOp	—
instConcreteCategorySubtypeForallCarrierMeasurable 📖	CompOp	—
instFunLikeSubtypeForallCarrierMeasurable 📖	CompOp	—
instInhabited 📖	CompOp	—
instLargeCategory 📖	CompOp	—
str 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
coe_of 📖	mathematical	—	carrier of	—	—

TopCat

Definitions

Name	Category	Theorems
hasForgetToMeasCat 📖	CompOp	—

(root)

Definitions

Name	Category	Theorems
Borel 📖	CompOp	—
MeasCat 📖	CompData	—

---

← Back to Index