Theorem LieAlgebra.rank_le_card

Modification history