Theorem FiniteDimensional.Subalgebra.isSimpleOrder_of_finrank_prime

Modification history