audit-session026-axioms.txt
8 declarations audited · 3 standard axioms only · updated 08-23-2026
Raw #print axioms transcript
'NguyenRH1.gamma_mul_prod' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.trivRecurrence_side' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.trivQ_ne_zero' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.trivQ_center_ne_zero' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.HfunT_analyticAt' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.HfunT_ne_zero' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.HfunT_eq' depends on axioms: [propext, Classical.choice, Quot.sound] 'NguyenRH1.zeroMult_neg_two_mul' depends on axioms: [propext, Classical.choice, Quot.sound]