Theorem Subalgebra.isSimpleOrder_of_finrank

Modification history