Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-16 17:16 3107a831

View on Github →

feat(algebra/char_p/basic): Generalize frobenius_inj. (#12079)

Estimated changes

modified theorem frobenius_inj