Theorem LinearMap.extendScalarsOfSurjective_apply

Modification history