Theorem LinearMap.extendScalarsOfIsLocalization_apply'

Modification history