Theorem Algebra.IsAlgebraic.exists_smul_eq_mul

Modification history