mathlib
8746f083 - feat(data/equiv/basic): equiv.set.powerset (#4790)

Commit

5 years ago

feat(data/equiv/basic): equiv.set.powerset (#4790)

References

#4925 - Make prime-avoidance branch build

Author

digama0

digama0

Parents

Loading