Commit 2024-11-02 12:50 c46b5e46

View on Github →

chore: variants of hasLimit_of_hasColimit_leftOp (#18530) Also turns variants into global instances if this is safe.

Estimated changes