Def IsTranscendenceBasis

Modification history