Theorem pointedToBipointedFst_comp_swap

Modification history