src/HOL/Library/Convex_Euclidean_Space.thy
changeset 31563 ded2364d14d4
parent 31561 a5e168fd2bb9
child 31565 da5a5589418e