List view

lingering admit

"bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"This issue (resp. PR) describes (resp. fixes) a "bug"

Status: Merged (completed).

math-comp/analysisnumber 1179

#1179 In math-comp/analysis;

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

splitting function space topologies

Status: Merged (completed).

math-comp/analysisnumber 1166

#1166 In math-comp/analysis;

· by zstone1 was closed on Mar 14, 2024

move pprobability to measure.v

Status: Merged (completed).

math-comp/analysisnumber 1171

#1171 In math-comp/analysis;

· by affeldt-aist was closed on Feb 9, 2024

naming conventions

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 1170

#1170 In math-comp/analysis;

· by affeldt-aist was closed on Feb 8, 2024

fixes #1080 (change sigma_finiteP)

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 1174

#1174 In math-comp/analysis;

· by affeldt-aist was closed on Feb 28, 2024

fixes #1178 (ge0_integralZr)

Status: Merged (completed).

math-comp/analysisnumber 1181

#1181 In math-comp/analysis;

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

fixes #1176 (duplicate in doc)

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 1180

#1180 In math-comp/analysis;

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

typo, duplicate

Status: Closed (completed).

#1176 In math-comp/analysis;

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

ge0_integralZr is lacking

Status: Closed (completed).

#1178 In math-comp/analysis;

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

sigma_finiteP naming

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

Status: Closed (completed).

#1080 In math-comp/analysis;

· by IshiguroYoshihiro was closed on Feb 28, 2024