Theorem swap_comp_bipointedToPointedSnd

Modification history