Theorem IsAlgebraic.of_smul

Modification history