nLab deduction

Last revised on January 28, 2015 at 17:41:06. See the history of this page for a list of all contributions to it.