OAI/Analysis/BrownMeasure/
127 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- Atomic.lean 18 declarations
- ConcreteTrace.lean 12 declarations
- Determinant.lean 7 declarations
- Dirac.lean 2 declarations
- FunctionalCalculus.lean 19 declarations
- LogDerivative.lean 2 declarations
- Main.lean 1 declarations
- Mercator.lean 5 declarations
- MercatorCalculus.lean 1 declarations
- Model.lean 7 declarations
- Modulus.lean 7 declarations
- Orbit.lean 11 declarations
- Polar.lean 5 declarations
- PurePoint.lean 1 declarations
- Quasinilpotent.lean 3 declarations
- Resolvent.lean 6 declarations
- RootSeries.lean 3 declarations
- Spectrum.lean 1 declarations
- TraceDerivative.lean 1 declarations
- UnitDeterminant.lean 5 declarations
- Weight.lean 10 declarations