Theorem Subalgebra.finiteDimensional_bot

Modification history