Download Parallel postulates and continuity axioms: a mechanized study in