mathlib
d2369bcb - feat(data/set/intervals): add two `ssubset` lemmas (#14793)

Commit

3 years ago

feat(data/set/intervals): add two `ssubset` lemmas (#14793)

Author

urkud

urkud

Parents

Loading