Stream: math-comp analysis

Topic: Banach-Steinhauss


view this post on Zulip Marie Kerjean (Aug 23 2020 at 20:35):

Just to notify that @Théo Vignon has recently formalized Banach-Steinhaus theorem and Baire's theorem based on the recent release of math-comp Analysis : https://github.com/tvignon/StageL3


Last updated: Feb 22 2024 at 04:02 UTC