Theorem LieModule.ofAssociativeModule

Modification history