src/HOL/Analysis/Linear_Algebra.thy
changeset 69981 3dced198b9ec
parent 69683 8b3458ca0762
child 70136 f03a01a18c6e