Theorem TwoPointing.bool_snd

Modification history