Theorem Subalgebra.restrictScalars_injective

Modification history