Theorem TwoPointing.sum_fst

Modification history