mathlib
96e81faa - feat(data/(lazy_)list): various lemmas and definitions (#4172)

Commit

5 years ago

feat(data/(lazy_)list): various lemmas and definitions (#4172)

References

#4925 - Make prime-avoidance branch build

Author

cipher1024

cipher1024

Parents

Loading