Posted: Apr 05, 2012 2:35 pm
by VazScep
mizvekov wrote:Still working on that goddamn example! :grin:
By the way, I found that having a theorem and a function like this helps a lot:
I think I can see that working.

Unfortunately, I don't have my code to hand at the moment. But I can throw a lemma your way if you want a hint.