PhyslibSearch
Physlib
by
Docs
Browse
physlib.io ↗
Browse
›
QuantumInfo
›
ForMathlib
›
HermitianMat
Theorem
Definition
Structure
Inductive
Class
Instance
Abbrev
Axiom
Opaque
Proof Wanted
QuantumInfo.ForMathlib.HermitianMat
0 declarations · 14 submodules
Submodules
Basic
124
CFC
91
Inner
50
Jordan
19
LogExp
42
NonSingular
33
Order
55
Proj
63
Reindex
15
Rpow
50
Schatten
14
Sqrt
10
Trace
34
Unitary
10
Feedback