Theorem LieModule.Weight.exists_ne_zero

Modification history