Theorem AlgHom.IsArithFrobAt.isArithFrobAt_localize

Modification history

2025-02-14 19:33

Mathlib/RingTheory/Frobenius.lean

feat(RingTheory): frobenius elements (#21770)

Added AlgHom.IsArithFrobAt.isArithFrobAt_localize View on Github →