Theorem LinearEquiv.ofInjectiveEndo_right_inv

Modification history