Theorem exists_isTranscendenceBasis_superset

Modification history