Theorem LinearEquiv.restrictScalars_injective

Modification history