PhyslibSearch
Physlib
by
Docs
Browse
physlib.io ↗
Browse
›
QuantumInfo
›
ForMathlib
Theorem
Definition
Structure
Inductive
Class
Instance
Abbrev
Axiom
Opaque
Proof Wanted
QuantumInfo.ForMathlib
0 declarations · 17 submodules
Submodules
ContinuousLinearMap
4
ContinuousSup
20
Filter
2
HermitianMat
610
IsMaximalSelfAdjoint
4
Isometry
42
LimSupInf
13
LinearEquiv
10
Majorization
37
Matrix
92
MatrixNorm
17
Minimax
8
Misc
9
SionMinimax
31
Superadditive
5
Tactic
2
Unitary
5
Feedback