src/HOL/Library/Convex.thy
changeset 61952 546958347e05
parent 61694 6571c78c9667
child 62376 85f38d5f8807