improve product() when one argument is a weak automaton
When one argument of
product() is weak, we can teach
product() to produce a simpler acceptance condition than what it is doing now.
product(non-weak, non-weak): standard product
product(non-weak, non-weak): use the non-weak acceptance for the output
product(weak, weak): use a weak acceptance for the output
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information