List view

fix missing type-level equivalence in contra

Status: Merged (completed).

math-comp/analysisnumber 1183

#1183 In math-comp/analysis;

· by Tragicus was closed on Mar 28, 2024

subset_integral naming

renaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the library

Status: Merged (completed).

math-comp/analysisnumber 1194

#1194 In math-comp/analysis;

· by affeldt-aist was closed on Mar 26, 2024

fixes #1182 (renaming Measure_isSFinite_subdef)

Status: Merged (completed).

math-comp/analysisnumber 1193

#1193 In math-comp/analysis;

· by affeldt-aist was closed on Mar 26, 2024

fixes #1094 (renaming of expRMm)

Status: Merged (completed).

math-comp/analysisnumber 1200

#1200 In math-comp/analysis;

· by affeldt-aist was closed on Mar 31, 2024

fixes #1105 (mv from cantor.v to topology.v)

Status: Merged (completed).

math-comp/analysisnumber 1192

#1192 In math-comp/analysis;

· by affeldt-aist was closed on Mar 29, 2024

Lebesgue differentiation theorem and applications

Status: Merged (completed).

math-comp/analysisnumber 1065

#1065 In math-comp/analysis;

· by affeldt-aist was closed on Mar 18, 2024

renaming of Measure_isSFinite_subdef?

Status: Closed (completed).

#1182 In math-comp/analysis;

· by affeldt-aist was closed on Mar 26, 2024

what means the m suffix

question ❓There is an unanswered question hereThere is an unanswered question here

Status: Closed (completed).

#1094 In math-comp/analysis;

· by affeldt-aist was closed on Mar 31, 2024

moving contents from cantor.v to topology.v

renaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the library

Status: Closed (completed).

#1105 In math-comp/analysis;

· by affeldt-aist was closed on Mar 29, 2024