import FormalConjectures.GreensOpenProblems.«7»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Green7.green_7.variants.positive_density" := by
  sorry

end Bounty