Skip to main content

All Questions

Filter by
Sorted by
Tagged with
8 votes
1 answer
205 views

Is there an elegant way of proving an equality A=B by going in both directions?

I would like to prove an equality by splitting it into a proof in each direction. Is there a more elegant style to start such a proof than this way:: ...
Mark Utting's user avatar