Theorem LinearEquiv.coe_pow

Modification history