Theorem exists_isTranscendenceBasis

Modification history