Theorem AlgebraicIndependent.iff_adjoin_image

Modification history