import Papers

-- The paper's results: each must list no axiom beyond propext, Classical.choice and Quot.sound.
#print axioms Papers.TbsPrteOptimalTransport.productCost_transport_extrema
#print axioms Papers.TbsPrteOptimalTransport.feasible_iff_structural
#print axioms Papers.TbsPrteOptimalTransport.finite_instrument_sharp_bounds
#print axioms Papers.TbsPrteOptimalTransport.general_instrument_sharp_bounds
#print axioms Papers.TbsPrteOptimalTransport.conditional_sharp_bounds
#print axioms Papers.TbsPrteOptimalTransport.discrete_reduction
#print axioms Papers.TbsPrteOptimalTransport.J_specialization
#print axioms Papers.TbsPrteOptimalTransport.dml_asymptotic_normality
#print axioms Papers.TbsPrteOptimalTransport.continuous_reduction
#print axioms Papers.TbsPrteOptimalTransport.plugin_rate
#print axioms Papers.TbsPrteOptimalTransport.score_mean_and_orthogonality
#print axioms Papers.TbsPrteOptimalTransport.primitive_learner_rate