src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
changeset 54381 9c1f21365326
parent 50526 899c9c4e4a4c
child 56189 c4daa97ac57a