Theorem RestrictScalars.addEquiv_symm_map_algebraMap_smul

Modification history