src/HOL/Analysis/Jordan_Curve.thy
changeset 69529 4ab9657b3257
parent 69508 2a4c8a2a3f8e
child 69922 4a9167f377b0