Theorem Subalgebra.restrictScalars_top

Modification history