UniformRing

📁 Source: FLT/Mathlib/Topology/Algebra/UniformRing.lean

Statistics

Metric	Count
Definitions mapSemialgHom	1
Theorems mapSemialgHom_apply, mapSemialgHom_coe	2
Total	3

UniformSpace.Completion

Definitions

Name	Category	Theorems
mapSemialgHom 📖	CompOp	2 math math: mapSemialgHom_coe, mapSemialgHom_apply

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
mapSemialgHom_apply 📖	mathematical	—	SemialgHom instFunLike mapSemialgHom	—	—
mapSemialgHom_coe 📖	mathematical	—	SemialgHom instFunLike mapSemialgHom	—	mapSemialgHom_apply

---

← Back to Index