Historical Rules · 8 April 2016
Rule 401.4
Official source text from the 8 April 2016 Rules release
If an effect puts two or more cards on the top or bottom of a library at the same time, the owner of those cards may arrange them in any order. That library’s owner doesn’t reveal the order in which the cards go into his or her library.