Theorem WittVector.truncate_liftFun

Modification history

2023-06-28 10:21

Mathlib/RingTheory/WittVector/Truncated.lean

feat: port RingTheory.WittVector.Truncated (#5538)

Added WittVector.truncate_liftFun View on Github →