mathlib3
4a0e844b - feat(data/finset): to_finset empty iff (#11088)
Commit
View On GitHub
Commit
4 years ago
feat(data/finset): to_finset empty iff (#11088)
Author
b-mehta b-mehta
Parents
68d2d213
FAQ Terms Privacy Refunds Impressum
Loading