Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Pointed_to_Twop_fst_comp_forget_to_Bipointed

Modification history