'CThetaReadings.hessian_reading_fails' depends on axioms: [propext, Classical.choice, Quot.sound]
'CThetaReadings.hessian_reading_theta_max' depends on axioms: [propext, Classical.choice, Quot.sound]
'CThetaReadings.coefficient_reading_04' depends on axioms: [propext, Classical.choice, Quot.sound]
'CThetaReadings.coefficient_reading_068' depends on axioms: [propext, Classical.choice, Quot.sound]
'CThetaReadings.minimizer_lipschitz' depends on axioms: [propext, Classical.choice, Quot.sound]
'CThetaReadings.K_bg_mono' depends on axioms: [propext, Classical.choice, Quot.sound]
'CThetaReadings.K_bg_value' depends on axioms: [propext, Classical.choice, Quot.sound]
'BackgroundConstants.background_lipschitz' depends on axioms: [propext, Classical.choice, Quot.sound]
'BackgroundConstants.background_lipschitz_numbers' depends on axioms: [propext, Classical.choice, Quot.sound]
