danabra.mov / analysis-solutions
My solutions to Tao's Analysis I, formalized in Lean
Star
Fork 0
Watch

golf and add mark some lemmas as simp for Ch3 master
Author Terence Tao Date Commit 99f89ffc Parent 8984f103