Theorem RestrictScalars.addEquiv_symm_map_smul_smul

Modification history