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.
chore: variants of hasLimit_of_hasColimit_leftOp (#18530) Also turns variants into global instances if this is safe.