mathlib3
15f6b527 - feat(data/set/prod): add `prod_self_{s,}subset_prod_self` (#14084)

Commit

3 years ago

feat(data/set/prod): add `prod_self_{s,}subset_prod_self` (#14084)

Author

urkud

urkud

Parents

Loading