Theorem LinearEquiv.toAddEquiv_toNatLinearEquiv

Modification history