nLab
deduction

Revised on January 28, 2015 17:41:06 by Urs Schreiber (89.204.138.177)