Skip to content

Compiling over the reals can refuse what is not real - #2297

Merged
Rafael-SOWNet merged 2 commits into
masterfrom
a-real-compilation-can-refuse-what-is-not-real
Oct 31, 2026
Merged

Compiling over the reals can refuse what is not real#2297
Rafael-SOWNet merged 2 commits into
masterfrom
a-real-compilation-can-refuse-what-is-not-real

Write the Compile remark into the templates the overloads come from

7fdea1a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar