List view

fixes #1292

Status: Merged (completed).

math-comp/analysisnumber 1609

#1609 In math-comp/analysis;

· by affeldt-aist was closed on May 2, 2025

Measurable realfun 20250430

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 1597

#1597 In math-comp/analysis;

· by affeldt-aist was closed on Apr 30, 2025

expe 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 1604

#1604 In math-comp/analysis;

· by hoheinzollern was closed on May 1, 2025

generalized <code>measurable_ln</code>

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

#1602 In math-comp/analysis;

· by hoheinzollern was closed on May 1, 2025

rm warnings

Status: Merged (completed).

math-comp/analysisnumber 1605

#1605 In math-comp/analysis;

· by affeldt-aist was closed on May 1, 2025

typos

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 1588

#1588 In math-comp/analysis;

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

typo

Status: Merged (completed).

math-comp/analysisnumber 1582

#1582 In math-comp/analysis;

· by affeldt-aist was closed on Apr 22, 2025

generic lemmas from the prob_lang PR

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 1583

#1583 In math-comp/analysis;

· by affeldt-aist was closed on Apr 25, 2025

fixes #1586

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

#1587 In math-comp/analysis;

· by affeldt-aist was closed on Apr 23, 2025

is_derive1_powR

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 1566

#1566 In math-comp/analysis;

· by IshiguroYoshihiro was closed on Apr 30, 2025

lemma extracted from the sampling branch to help rebasing

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 1592

#1592 In math-comp/analysis;

· by affeldt-aist was closed on Apr 28, 2025

Functions 20250428

Status: Merged (completed).

math-comp/analysisnumber 1593

#1593 In math-comp/analysis;

· by affeldt-aist was closed on Apr 30, 2025

Adapt to https://github.com/math-comp/math-comp/pull/1354

Status: Merged (completed).

math-comp/analysisnumber 1508

#1508 In math-comp/analysis;

· by proux01 was closed on Apr 24, 2025

<code>opp_ ...</code>, <code>... _opp</code> -&gt; <code>oppr_ ...</code>, <code>... _ oppr</code>?

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

Status: Closed (completed).

#1292 In math-comp/analysis;

· by IshiguroYoshihiro was closed on May 2, 2025

duplicated code

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

Status: Closed (completed).

#1603 In math-comp/analysis;

· by affeldt-aist was closed on May 1, 2025

fix changelog

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

Status: Closed (completed).

#1601 In math-comp/analysis;

· by affeldt-aist was closed on May 1, 2025

duplicate documentation

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

Status: Closed (completed).

#1590 In math-comp/analysis;

· by affeldt-aist was closed on May 2, 2025