Theorem AlgebraicIndependent.iff_transcendental_adjoin_image

Modification history