'CertJet.lower_correct' depends on axioms: [propext, Quot.sound]
'CertJet.compile_correct' depends on axioms: [propext, Quot.sound]
'CertJet.fundamental' does not depend on any axioms
'CertJet.compiled_jet_sound' depends on axioms: [propext, Quot.sound]
'CertJet.exact_scalar_compilation' depends on axioms: [propext, Quot.sound]
'CertJet.total_schedule' depends on axioms: [propext]
'CertJet.choose_nonincrease' does not depend on any axioms
'CertJet.choose_member' depends on axioms: [propext]
