More_Transcendental.thy 8.88 KB