4 ms·
> I remember seeing this proved before but I can’t be bothered to go look it up again. I think that is what Lean libraries are for.
by newswasboring 2y ago
> I remember seeing this proved before but I can’t be bothered to go look it up again.
I think that is what Lean libraries are for.
- sebzim4500 2y agoPossibly but lean libraries currently contain a tiny fraction of widely known mathematical results.