Function Acosh_Dfa-To-Cdfa

Part of:

package lisplab
( acosh_dfa-to-cdfa < g534 > < g535 > )