Def AlgHom.IsArithFrobAt.localize

Modification history

2025-02-14 19:33

Mathlib/RingTheory/Frobenius.lean

feat(RingTheory): frobenius elements (#21770)

Added AlgHom.IsArithFrobAt.localize View on Github →