SeparatingDual

📁 Source: Mathlib/Analysis/NormedSpace/HahnBanach/SeparatingDual.lean

Statistics

Metric	Count
Definitions SeparatingDual	1
Theorems	0
Total	1

(root)

Definitions

Name	Category	Theorems
SeparatingDual 📖	CompData	4 math math: instSeparatingDual, instSeparatingDualRealOfIsTopologicalAddGroupOfContinuousSMulOfLocallyConvexSpaceOfT1Space, separatingDual_iff_injective, separatingDual_def

---

← Back to Index