Theorem Module.End.HasUnifEigenvector.pow_apply

Modification history