import DocGen4.Output.Template namespace DocGen4 namespace Output open scoped DocGen4.Jsx open Lean def find : BaseHtmlM Html := do pure end Output end DocGen4