Theorem swap_comp_bipointedToPointedFst

Modification history