Theorem IsAlgebraic.extendScalars

Modification history