Commit 2021-02-11 16:21 1ad29d69
View on Github →refactor(algebra/lie/of_associative): remove ring_commutator
namespace; use ring
instead (#6181)
The old_structure_cmd
change to lie_algebra.is_simple
is unrelated and is
included here only for convenience.
ring_commutator.commutator
-> ring.lie_def