Theorem AlgebraicIndependent.option_iff_transcendental

Modification history