Add mathlib as reference
Opened this issue · 0 comments
StevenClontz commented
Per Jim Fowler's suggestion, we could link results that have been formalized in mathlib.
Opened this issue · 0 comments
Per Jim Fowler's suggestion, we could link results that have been formalized in mathlib.