Theorem LieSubmodule.subsingleton_iff

Modification history