Download only the Mathlib files the project uses - #2

Download only the Mathlib files the project uses#2

hawkrobe merged 1 commit into

mainlinglib-community/starter:mainfrom

slim-mathliblinglib-community/starter:slim-mathlibCopy head branch name to clipboard