Theorem AddEquiv.toNatLinearEquiv_toAddEquiv

Modification history