Nowhere in the current catechism is there any treatment of a belief that was part of the common teaching of the church for over 700 years.

Could a pope resign? Would a retired pope still be infallible? If a pope resigns and another is elected, are there in effect two popes?