Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subgroup.pi_mem_of_mul_single_mem_aux

Modification history