src/HOL/Library/Continuity.thy
changeset 53745 788730ab7da4
parent 46508 ec9630fe9ca7
child 54257 5c7a3b6b05a9