Theorem LinearEquiv.ofInjectiveEndo_left_inv

Modification history