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

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

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

Last updated: Feb 05 2023 at 06:28 UTC