Theorem LinearEquiv.extendScalarsOfSurjective_symm

Modification history