Theorem LieSubmodule.iSup_induction

Modification history