Theorem LinearEquiv.coe_ofInjectiveEndo

Modification history