Mathlib v3 is deprecated. Go to Mathlib v4

Def vector.induction_on₃

Modification history

2021-09-20 08:13
src/data/vector/basic.lean
feat(data/vector/basic): induction principles (#9261)
Added vector.induction_on₃View on Github →