Code

countable is measurable#1381

Code

Merged

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:lebesgue_measure_20251105affeldt-aist/analysis:lebesgue_measure_20251105Copy head branch name to clipboardNov 6, 2024

+13

Commits

Commits on Nov 5, 2024

• countable is measurable

  Show description for dd94a22
  

  affeldt-aist

  and

  IshiguroYoshihiro

  committed
  dd94a22

• gen

  affeldt-aist

  committed
  21f03d0