Theorem LinearEquiv.extendScalarsOfSurjective_apply

Modification history