audit-session027-axioms.txt
2 declarations audited · 3 standard axioms only · updated 08-23-2026
Raw #print axioms transcript
'NguyenRH1.C0hat_mono' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.exists_gapCircle_radius' depends on axioms: [propext, Classical.choice, Quot.sound]