Def alg_equiv.restrict_scalars

Modification history