import Papers

-- The paper's results: each must list no axiom beyond propext, Classical.choice and Quot.sound.
#print axioms Papers.TbsNeuralCausalPi.approximation_wasserstein_bound
#print axioms Papers.TbsNeuralCausalPi.wide_generator_approximation
#print axioms Papers.TbsNeuralCausalPi.deep_generator_approximation
#print axioms Papers.TbsNeuralCausalPi.deep_ncm_approximation
#print axioms Papers.TbsNeuralCausalPi.counterexample_identifiable
#print axioms Papers.TbsNeuralCausalPi.consistency
#print axioms Papers.TbsNeuralCausalPi.lipschitz_dose_response_gap
#print axioms Papers.TbsNeuralCausalPi.rate_of_convergence
#print axioms Papers.TbsNeuralCausalPi.exists_canonical_representation
#print axioms Papers.TbsNeuralCausalPi.exists_measure_representing_holder_curve
#print axioms Papers.TbsNeuralCausalPi.hilbert_ordering
#print axioms Papers.TbsNeuralCausalPi.counterexample_backdoor
#print axioms Papers.TbsNeuralCausalPi.convgOpt_limits_mem
#print axioms Papers.TbsNeuralCausalPi.regression_gap_le_wasserstein
#print axioms Papers.TbsNeuralCausalPi.wasserstein_map_le
#print axioms Papers.TbsNeuralCausalPi.wasserstein_mixture_le
#print axioms Papers.TbsNeuralCausalPi.wasserstein_pi_le
#print axioms Papers.TbsNeuralCausalPi.wasserstein_gumbelSoftmax_le
#print axioms Papers.TbsNeuralCausalPi.sinkhorn_approx
#print axioms Papers.TbsNeuralCausalPi.uniform_empirical_wasserstein