tensor-group-sym
/
lean
/
StarG
StarG
..
Algebra.lean
Audit.lean
Basic.lean
Equivariance.lean
ProductGroup.lean
SVD.lean
WignerEckart.lean
