Theorem LieModule.zero_lt_finrank_genWeightSpace

Modification history