src/HOL/Matrix_LP/Matrix.thy
changeset 60299 5ae2a2e74c93
parent 57512 cc97b347b301
child 61076 bdc1e2f0a86a