Theorem LinearEquiv.pow_apply

Modification history