Theorem pointedToTwoPFst_comp_forget_to_bipointed

Modification history