mathlib
2a7bde04 - feat(data{finset,set}/pointwise): Pointwise monoids are domains (#14687)

Commit

3 years ago

feat(data{finset,set}/pointwise): Pointwise monoids are domains (#14687) `no_zero_divisors`/`no_zero_smul_divisors` instances for `set` and `finset`.

Author

YaelDillies

Parents