Theorem TruncatedWittVector.eq_of_le_of_cast_pow_eq_zero

Modification history

2023-06-28 18:09
Mathlib/RingTheory/WittVector/Compare.lean
feat: port ring theory.witt_vector.compare (#5555)
Added TruncatedWittVector.eq_of_le_of_cast_pow_eq_zeroView on Github →