Theorem LinearEquiv.toLinearMap_inj

Modification history