Theorem LieAlgebra.isFaithful_self_iff

Modification history