Commit 2024-05-06 01:06 3e7a1952
View on Github →refactor: make TProd reducible (#12686)
In various places we want TProd α (i :: is) = α i × TProd α to be transparent.
refactor: make TProd reducible (#12686)
In various places we want TProd α (i :: is) = α i × TProd α to be transparent.