Commit 2020-08-07 21:33 d61bd4ae
View on Github →feat(algebra/classical_lie_algebras): add lie_algebra.orthogonal.mem_so (#3711) Also unrelated change to use new notation for direct_sum
feat(algebra/classical_lie_algebras): add lie_algebra.orthogonal.mem_so (#3711) Also unrelated change to use new notation for direct_sum