Theorem IsAlgebraic.exists_smul_eq_mul

Modification history