YOu'd think they might jot those down somewhere.
And what are the consequences of NOT believing them? IOW, if someone does not acknowledge them, does it affect their salvation?
The Roman Catholic has to believe this per the proclamation or else.
Hence, if anyone shall dare which God forbid! to think otherwise than as has been defined by us, let him know and understand that he is condemned by his own judgment; that he has suffered shipwreck in the faith; that he has separated from the unity of the Church; and that, furthermore, by his own action he incurs the penalties established by law if he should are to express in words or writing or by any other outward means the errors he think in his heart.http://www.papalencyclicals.net/Pius09/p9ineff.htm
Someone quite graciously posted a list of infallibly declared teachings of Catholicism that all Catholics are bound by to obey.
https://www.freerepublic.com/focus/religion/3661318/posts?page=21#21