src/HOL/NSA/HTranscendental.thy
changeset 41648 6d736d983d5c
parent 37887 2ae085b07f2f
child 44316 84b6f7a6cea4