Def WittVector.FractionRing.module

Modification history

2024-05-11 07:39

Mathlib/RingTheory/WittVector/Isocrystal.lean

chore(WittVector.Isocrystal): remove helper local instance (#12789) …

Deleted WittVector.FractionRing.module View on Github →

2023-06-30 13:52

Mathlib/RingTheory/WittVector/Isocrystal.lean

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

Added WittVector.FractionRing.module View on Github →