Theorem LinearMap.restrictScalarsRange₂_apply

Modification history