Re:My unusual hobby
by mcguire on Saturday November 25, 2017 @01:08PM
(#15777036)
Unfortunately, smart tactics make proofs even harder to read. :-)
[ Parent
| on HN ]
There are no comments on this comment yet.