Commit 2025-10-02 16:21 adb7d972

feat(Set): generalize Set.(e)ncard_prod (#30128) Currently Set.(e)ncard_prod computes the cardinality of a product when both s and t are of type Set α, perform the trivial generalization of allowing t to be of a different type.