Mathlib v3 is deprecated. Go to Mathlib v4

Theorem rack.self_inv_act_inv_act_eq

Modification history