mathlib
4970a17c - feat(list/basic): list.subset_singleton_iff (#16183)

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

feat(list/basic): list.subset_singleton_iff (#16183)

Author

ericrbg

ericrbg

Parents

FAQ Terms Privacy Refunds Impressum

Loading