Mathlib v3 is deprecated. Go to Mathlib v4

Inductive W_type.nat_α

Modification history