src/HOL/Multivariate_Analysis/Linear_Algebra.thy
changeset 61762 d50b993b4fb9
parent 61609 77b453bd616f
child 61808 fc1556774cfe
equal deleted inserted replaced
61757:0d399131008f 61762:d50b993b4fb9