Theorem LieSubmodule.eq_top_of_isIrreducible

Modification history