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