📁 Source: PhysLean/QuantumMechanics/DDimensions/Operators/Commutation.lean
angularMomentumSqr_commutation_angularMomentum
angularMomentumSqr_commutation_position
angularMomentum_commutation_angularMomentum
angularMomentum_commutation_momentum
angularMomentum_commutation_position
momentumSqr_commutation_momentum
momentum_commutation_momentum
momentum_momentum_eq
position_commutation_momentum
position_commutation_position
Space
Space.instNormedAddCommGroup
Space.instInnerProductSpaceReal
angularMomentumOperatorSqr
angularMomentumOperator
positionOperator
Constants.ℏ
momentumOperator
momentumOperatorSqr
---
← Back to Index