PhyslibSearch
Physlib
by
Docs
Browse
physlib.io ↗
Browse
›
PhyslibAlpha
›
ProbabilisticTheory
›
JordanOrderUnit
›
JB
›
GeneratedByOne
Theorem
Definition
Structure
Inductive
Class
Instance
Abbrev
Axiom
Opaque
Proof Wanted
PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.GeneratedByOne
0 declarations · 8 submodules
Submodules
CFC
76
Closed
19
Effect
2
Inherited
6
PosInvertibility
25
Spectrum
20
SqrtUniqueness
9
Uniform
3
Feedback