Theorem TwoPointing.to_nontrivial

Modification history