Theorem TwoPointing.prop_fst

Modification history