Density Functionals and Their Domain

Constructed examples of this model; each answer includes the Lean statement.

Compare their definitions and hypotheses. Shared declarations may be instantiated differently; differences do not establish equivalence or implication.

No comparison argument selected.

Compare the displayed specifications with an earlier JSON export. This compares text, not mathematical equivalence. Files stay in this browser.

No earlier extraction selected.

Import merges local entries without overwriting them.