{motive : ProofWidgets.FilterDetailsProps → Sort u} →
  (t : ProofWidgets.FilterDetailsProps) →
    ((summary filtered all : ProofWidgets.Html) →
        (initiallyFiltered : Bool) →
          motive { summary := summary, filtered := filtered, all := all, initiallyFiltered := initiallyFiltered }) →
      motive t