import AutoSamplingTheory.ExampleCases.SmoothedPicardHMC.FiniteRGOKLError

#print axioms AutoSamplingTheory.ExampleCases.SmoothedPicardHMC.FiniteRGOKLError.finite_rgo_kl_error