Def AlgHom.IsArithFrobAt.restrict

Modification history

2025-02-14 19:33

Mathlib/RingTheory/Frobenius.lean

feat(RingTheory): frobenius elements (#21770)

Added AlgHom.IsArithFrobAt.restrict View on Github →