This was definitely covered in my middle school classes (although those were 40 years ago). Standard US public school. We spent a fair amount of time discussing the Antipope, it always sounded like such a cool job name.

We also read Genesis in English classes (from a literary perspective).