Steven D'Aprano wrote:
I'm just sketching an informal proof. If you want to make it vigorous
^^^^^^^^
I think the usual term is "rigorous", unless the mathematician is taking some kind of stimulant... :-) -- Greg -- https://mail.python.org/mailman/listinfo/python-list
