Champion's Downfall

Destroy target creature if it attacked last
turn, otherwise put it on its owners library
7th from the top. That player mills X,
where X is the targeted creatures mana cost.
"All metal must rust"