Born

📁 Source: Mathlib/Topology/Category/Born.lean

Statistics

Metric	Count
Definitions Born, carrier, instCoeSortType, instConcreteCategoryLocallyBoundedMapCarrier, instInhabited, instLargeCategory, str	7
Theorems	0
Total	7

Born

Definitions

Name	Category	Theorems
carrier 📖	CompOp	—
instCoeSortType 📖	CompOp	—
instConcreteCategoryLocallyBoundedMapCarrier 📖	CompOp	—
instInhabited 📖	CompOp	—
instLargeCategory 📖	CompOp	—
str 📖	CompOp	—

(root)

Definitions

Name	Category	Theorems
Born 📖	CompData	—

---

← Back to Index