Theorem AlgEquiv.isTranscendenceBasis_iff

Modification history