Skip to content

The extremum of an expression over a set, as a binder - #1222

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
extremum
Sep 8, 2026
Merged

The extremum of an expression over a set, as a binder#1222
Rafael-SOWNet merged 1 commit into
masterfrom
extremum

Commits

  1. Commits on Sep 8, 2026