mathlib3
d61bd4ae - feat(algebra/classical_lie_algebras): add lie_algebra.orthogonal.mem_so (#3711)

Commit

5 years ago

feat(algebra/classical_lie_algebras): add lie_algebra.orthogonal.mem_so (#3711) Also unrelated change to use new notation for direct_sum

Author

Oliver Nash

Parents