nLab
deduction

Revised on January 8, 2014 09:08:10 by Urs Schreiber (89.204.130.116)