Theorem LinearEquiv.coe_toAffineEquiv

Modification history