Theorem IsTranscendenceBasis.polynomial

Modification history