List view

Curry is continuous

Status: Merged (completed).

math-comp/analysisnumber 926

#926 In math-comp/analysis;

· by zstone1 was closed on Jan 18, 2024

Total variation

Status: Merged (completed).

math-comp/analysisnumber 1118

#1118 In math-comp/analysis;

· by zstone1 was closed on Jan 19, 2024

fixes #1131

Status: Merged (completed).

math-comp/analysisnumber 1132

#1132 In math-comp/analysis;

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

generalizations

enhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the library

Status: Merged (completed).

math-comp/analysisnumber 1147

#1147 In math-comp/analysis;

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

adapt to change in coq2html

documentation 📝This issue/PR is about documentation of the library / repositoryThis issue/PR is about documentation of the library / repository

Status: Merged (completed).

math-comp/analysisnumber 1148

#1148 In math-comp/analysis;

· by affeldt-aist was closed on Jan 14, 2024

add HB instances

enhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the library

Status: Merged (completed).

math-comp/analysisnumber 1146

#1146 In math-comp/analysis;

· by affeldt-aist was closed on Jan 11, 2024

<code>nbhsx_ballx</code> : <code>{posnum R}</code> or <code>R</code>?

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

Status: Closed (completed).

#1131 In math-comp/analysis;

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