src/HOL/Multivariate_Analysis/Finite_Cartesian_Product.thy
Fri, 23 Oct 2009 13:23:18 +0200 himmelma distinguished session for multivariate analysis
less more (0) tip