I am very pleased to announce that the Fourier series convergence, Metamath 100#76, has been proven by Glauco. This is a tremendous achievement and I congratulate him.
There are a few cleanups and such to be done before it gets merged in, but I expect it to be merged soon. If you're curious to see it, it is here: https://github.com/metamath/set.mm/pull/1317 I may be delayed before I add it to the official metamath 100 list and such, but I will certainly do it. Congrats! --- David A.Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/C1A33E86-D16F-420D-88D3-C21E74089D5E%40dwheeler.com.
