'DESeq2Verification.median_add' depends on axioms: [propext, Classical.choice, Quot.sound]
'DESeq2Verification.sizeFactor_scale' depends on axioms: [propext, Classical.choice, Quot.sound]
'DESeq2Verification.normalized_scaled' depends on axioms: [propext, Classical.choice, Quot.sound]
'DESeq2Verification.normalized_ratio_scaled' depends on axioms: [propext, Classical.choice, Quot.sound]
'DESeq2Verification.sizeFactor_global_scale' depends on axioms: [propext, Classical.choice, Quot.sound]
'DESeq2Verification.estimateRatio_scale' depends on axioms: [propext, Classical.choice, Quot.sound]
'DESeq2Verification.checkRelative_sound' depends on axioms: [propext, Classical.choice, Quot.sound]