src/HOL/Transcendental.thy
changeset 56677 660ffb526069
parent 56571 f4635657d66f
child 56952 efa2a83d548b