Theorem LinearMap.linearEquivOfInjective_apply

Modification history