audit-session034-axioms.txt
5 declarations audited · 3 standard axioms only · updated 08-24-2026
Raw #print axioms transcript
'NguyenRH1.C0hat_add_two_le' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.not_badPoint_on_gapCircle' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.gentire_circle_le' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.gentire_const' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.partialFraction_identity' depends on axioms: [propext, Classical.choice, Quot.sound]