镜像站点 · 本页由第三方 GitHub 只读镜像提供，非 GitHub 官方站点，不接受任何登录或凭据输入。前往 github.com
Skip to content

A piecewise's condition under a reading asks only the case it takes - #2262

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
a-piecewise-is-defined-in-a-reading-where-its-case-is
Oct 30, 2026
Merged

A piecewise's condition under a reading asks only the case it takes#2262
Rafael-SOWNet merged 1 commit into
masterfrom
a-piecewise-is-defined-in-a-reading-where-its-case-is

A piecewise's condition under a reading asks only the case it takes

fbf02e1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar