Theorem IsAlgebraic.iff_exists_smul_integral

Modification history