Theorem LinearEquiv.coe_ofInvolutive

Modification history