Theorem TwoPointing.prod_snd

Modification history