mathlib

79e296bd - doc(archive/100-theorems-list): Update README.md (#2750)

doc(archive/100-theorems-list): Update README.md (#2750) Making the 100.yaml file more discoverable. Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>