Theorem LinearEquiv.coe_toAddEquiv

Modification history