Theorem LieSubmodule.nontrivial_iff

Modification history