Theorem LieSubmodule.nontrivial_iff_ne_bot

Modification history