Theorem LieModule.exists_isRegular

Modification history