basic): prod_subset_iff (#980)

Commit

6 years ago

feat(data/set/basic): prod_subset_iff (#980) * feat(data/set/basic): prod_subset_iff * syntax

References

Author

kim-em

Committer

mergify[bot]

Parents