Mathlib v3 is deprecated. Go to Mathlib v4

Theorem comm_group.is_simple_iff_is_cyclic_and_prime_card

Modification history