Stream: maths

Topic: Trivial things about convergent power series

GT III.5

Patrick Massot (Aug 07 2018 at 20:23):

In 20 years' time we will have killed Bourbaki and other people will talk about data/real/basic.lean#12345 in the same way. I mean -- why not?