Theorem LieSubmodule.wellFoundedLT_of_isArtinian

Modification history