Theorem LieSubalgebra.wellFounded_of_noetherian

Modification history