Documentation

ProofWidgets.Component.FilterDetails

Props for the FilterDetails component.

Instances For

    The FilterDetails component is like a <details> HTML element, but also has a filter button that allows you to switch between filtered and unfiltered states.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For