Theorem xInTermsOfW_eq

Modification history

2024-05-31 00:19
Mathlib/RingTheory/WittVector/WittPolynomial.lean
chore: fix formatting of many misplaced "by"s (#13204)
Modified xInTermsOfW_eqView on Github →
2023-05-22 18:01
Mathlib/RingTheory/WittVector/WittPolynomial.lean
feat: port RingTheory.WittVector.WittPolynomial (#3355)
Added xInTermsOfW_eqView on Github →