Theorem LinearEquiv.restrictScalars_inj

Modification history