Samplinglib
Lean gate not recorded for this source state main · 0e31a3cda412

Exact source context

import AutoSamplingTheory.TechnicalLemmas.FunctionalInequalities.Generator

namespace AutoSamplingTheory.Tests.GeneratorFunctionalInequalities

#check AutoSamplingTheory.TechnicalLemmas.FunctionalInequalities.Generator.dirichletForm
#check AutoSamplingTheory.TechnicalLemmas.FunctionalInequalities.Generator.SatisfiesPoincare
#check AutoSamplingTheory.TechnicalLemmas.FunctionalInequalities.Generator.SatisfiesLogSobolev

end AutoSamplingTheory.Tests.GeneratorFunctionalInequalities