Theorem LieModule.IsNilpotent.mk

Modification history