Theorem LieSubmodule.wellFounded_of_noetherian

Modification history