src/HOL/Library/Continuity.thy
changeset 43922 c6f35921056e
parent 32960 69916a850301
child 44928 7ef6505bde7f