Stream: math-comp analysis

Topic: Carathéodory Extension Theorem

view this post on Zulip Cyril Cohen (Jun 17 2020 at 10:05):

https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_d%27extension_de_Carath%C3%A9odory

view this post on Zulip Reynald Affeldt (Sep 04 2020 at 09:33):

https://github.com/math-comp/analysis/blob/030f36e2095b0e2ae1d7d59fb0c46bdfba42b7e4/theories/cardinality.v

view this post on Zulip Cyril Cohen (Sep 04 2020 at 09:36):

About finiteness: https://github.com/math-comp/analysis/pull/83

Last updated: Nov 29 2023 at 04:01 UTC