verifying trig proofs

4 years ago