mathlib3
f4207aa2 - feat(data/*): lemmas about lists and finsets (#4457)

Commit

5 years ago

feat(data/*): lemmas about lists and finsets (#4457) A part of #4316

References

#4925 - Make prime-avoidance branch build

Author

urkud

urkud

Parents

Loading