Theorem IsAlgebraic.restrictScalars

Modification history