Theorem LieAlgebra.exists_isRegular

Modification history