Def WittVector.FractionRing.frobenius

Modification history

2023-06-30 13:52

Mathlib/RingTheory/WittVector/Isocrystal.lean

feat: port RingTheory.WittVector.Isocrystal (#5579)

Added WittVector.FractionRing.frobenius View on Github →