src/HOL/Matrix_LP/Matrix.thy
changeset 66831 29ea2b900a05
parent 66453 cc19f7ca2ed6
child 67399 eab6ce8368fa