src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
author huffman
Mon Apr 26 15:22:03 2010 -0700 (2010-04-26)
changeset 36432 1ad1cfeaec2d
parent 35292 e4a431b6d9b7
child 37489 44e42d392c6e
permissions -rw-r--r--
move proof of Fashoda meet theorem into separate file
     1 theory Multivariate_Analysis
     2 imports Determinants Integration Real_Integration Fashoda
     3 begin
     4 
     5 end