log wisdom/prooftechnique @ 7321:9b1240788b6f

age author description
Wed, 30 Mar 2016 03:30:31 +0000 HackBot <oerjan> learn prooftechnique is inevitably on a mathematical descent.