Mathlib Changelog v4

Changelog About Github

Theorem IsArithFrobAt.conj

Modification history

2025-02-14 19:33

Mathlib/RingTheory/Frobenius.lean

feat(RingTheory): frobenius elements (#21770)

Added IsArithFrobAt.conj View on Github →