Theorem LieAlgebra.isRegular_def

Modification history