Theorem LieModule.nontrivial_of_isIrreducible

Modification history