Def WittVector.mk'

Modification history

2026-10-17 19:24
Mathlib/RingTheory/WittVector/Defs.lean
chore: remove `WittVector.mk'` (#43374) …
Added WittVector.mk'View on Github →