Mathlib v3 is deprecated. Go to Mathlib v4

Def Pointed_to_Twop_snd

Modification history