Skip to content

max and min are defined where their arguments are real - #2261

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
max-and-min-are-defined-on-the-reals
Oct 30, 2026
Merged

max and min are defined where their arguments are real#2261
Rafael-SOWNet merged 1 commit into
masterfrom
max-and-min-are-defined-on-the-reals

max and min are defined where their arguments are real

36d95e6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar