It is certainly true that in 353 or 354 Pope Liberius wrote thus: "Eight years ago the Eusebian deputies, Eudoxius and Martyrius (who came to the West with the formula ), refused to anathematize the Arian doctrine at Milan".
St. Maximinus was at this synod [REF].