src/HOL/Transcendental.thy
changeset 55990 41c6b99c5fb7
parent 55832 8dd16f8dfe99
child 56167 ac8098b0e458