Theorem IsTranscendenceBasis.algebraMap_comp

Modification history