Theorem TwoPointing.bool_fst

Modification history