Skip to content

Use auto unfold for some Logic operators#1014

Merged
fdupress merged 1 commit into
mainfrom
stdlib-auto-unfold
Jul 2, 2026
Merged

Use auto unfold for some Logic operators#1014
fdupress merged 1 commit into
mainfrom
stdlib-auto-unfold

use auto unfold for some `Logic` operators

ac8b43c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view