Mathlib v3 is deprecated. Go to Mathlib v4

Def Pointed_to_Bipointed_comp_Bipointed_to_Pointed_fst

Modification history