I am new to Phoenix and Elixir and I am quite bad at it.

I am making a component todos which successfully fetches the todos from the database, and for each one should create a todo element. It works, except for making the checkbox input checked depending on the todo.finished property. How can I make it so has attribute checked if todo.finished is true?

def todos(assigns) do
    todos = Repo.all(Todo);

    ~H"""
    <ul class="w-15">
      <%= for todo <- todos do %>
        <li class="flex justify-between">
          <h1><%= todo.name %></h1>
          <div>
            <input type="checkbox" <%= if todo.finished, do: "checked" %>/>
            <button class="h-4 w-4">
            </button>
          </div>
        </li>
      <% end %>
    </ul>
    """
  end

I would like it if the answer contained code, because I am not familiar with many terms in Phoenix.