Skip to content

Operator unfolding when applied to enough arguments#431

Merged
strub merged 1 commit into
mainfrom
red-arguments
Sep 6, 2023
Merged

Operator unfolding when applied to enough arguments#431
strub merged 1 commit into
mainfrom
red-arguments

Commits

Commits on Sep 4, 2023