Mathlib v3 is deprecated. Go to Mathlib v4

Theorem typevec.to_subtype'_of_subtype'

Modification history