Theorem TwoPointing.swap_snd

Modification history