List view

bernoulli probability measure

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 895

#895 In math-comp/analysis;

· by affeldt-aist was closed on May 27, 2024

mulr_rev out of forms.v

Status: Merged (completed).

math-comp/analysisnumber 1122

#1122 In math-comp/analysis;

· by affeldt-aist was closed on Apr 24, 2024

Readme 20240417

Status: Merged (completed).

math-comp/analysisnumber 1211

#1211 In math-comp/analysis;

· by affeldt-aist was closed on Apr 21, 2024

integrableM lemmas

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 1207

#1207 In math-comp/analysis;

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

Measure 20240416

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

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

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 1210

#1210 In math-comp/analysis;

· by affeldt-aist was closed on Apr 19, 2024

fixes #1190 (notin_setE)

Status: Merged (completed).

math-comp/analysisnumber 1215

#1215 In math-comp/analysis;

· by affeldt-aist was closed on Apr 19, 2024

fixes #1212 (spurious hypothesis)

"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 1213

#1213 In math-comp/analysis;

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

not_near_at_leftP

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 1221

#1221 In math-comp/analysis;

· by IshiguroYoshihiro was closed on May 14, 2024

sigma-rings

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 1222

#1222 In math-comp/analysis;

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

rm warnings mathcomp-2.1.0

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 1223

#1223 In math-comp/analysis;

· by affeldt-aist was closed on May 15, 2024

Adapt to math-comp/math-comp#1166

Status: Merged (completed).

math-comp/analysisnumber 1189

#1189 In math-comp/analysis;

· by pi8027 was closed on Apr 19, 2024

Bigcap series addn

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 1196

#1196 In math-comp/analysis;

· by IshiguroYoshihiro was closed on Apr 10, 2024

fixes #981 (sub_additive vs subadditive)

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 1199

#1199 In math-comp/analysis;

· by affeldt-aist was closed on Apr 2, 2024

fixes #1203

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 1204

#1204 In math-comp/analysis;

· by affeldt-aist was closed on Apr 2, 2024

Mark things as backported

Status: Merged (completed).

math-comp/analysisnumber 1217

#1217 In math-comp/analysis;

· by proux01 was closed on Apr 24, 2024

Drop 816 817

Status: Merged (completed).

math-comp/analysisnumber 1220

#1220 In math-comp/analysis;

· by proux01 was closed on Apr 24, 2024

Lock sin and cos

Status: Merged (completed).

math-comp/analysisnumber 1218

#1218 In math-comp/analysis;

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

Fixes 20240605

Status: Merged (completed).

math-comp/analysisnumber 1238

#1238 In math-comp/analysis;

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

gee_pmull: hypo 0 < x can be slightly generalized

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

Status: Closed (completed).

#1203 In math-comp/analysis;

· by affeldt-aist was closed on Apr 2, 2024

typo

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

Status: Closed (completed).

#1208 In math-comp/analysis;

· by affeldt-aist was closed on Apr 19, 2024

spurious integrability condition

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

Status: Closed (completed).

#1212 In math-comp/analysis;

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

inf_lower_bound and inf_lb

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

Status: Closed (completed).

#1226 In math-comp/analysis;

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

rename the misc subdir to showcase

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

Status: Closed (completed).

#1233 In math-comp/analysis;

· by affeldt-aist was closed on Jun 3, 2024

naming

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

Status: Closed (completed).

#1229 In math-comp/analysis;

· by affeldt-aist was closed on Jun 3, 2024

small generalization of Markov's lemma

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

Status: Closed (completed).

#1232 In math-comp/analysis;

· by affeldt-aist was closed on Jun 3, 2024