Structure WittVector.IsocrystalHom

Modification history

2023-06-30 13:52

Mathlib/RingTheory/WittVector/Isocrystal.lean

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

Added WittVector.IsocrystalHom View on Github →