Mathlib v3 is deprecated. Go to Mathlib v4

Theorem power_basis.equiv_adjoin_simple_symm_gen

Modification history