Theorem is_simple_module_of_finrank_eq_one

Modification history