List view

tentative definition of connected component

Status: Merged (completed).

math-comp/analysisnumber 279

#279 In math-comp/analysis;

· by affeldt-aist was closed on Dec 8, 2020

Making sure [set x | P] notations are not expanded eagerly

Status: Merged (completed).

math-comp/analysisnumber 281

#281 In math-comp/analysis;

· by CohenCyril was closed on Nov 28, 2020

improve doc of theories/derive.v

Status: Merged (completed).

math-comp/analysisnumber 290

#290 In math-comp/analysis;

· by mkerjean was closed on Nov 27, 2020

fix #292

Status: Merged (completed).

math-comp/analysisnumber 293

#293 In math-comp/analysis;

· by affeldt-aist was closed on Nov 27, 2020

Closed ball + LinearContinuousBounded

Status: Closed (abandoned).

math-comp/analysisnumber 267

#267 In math-comp/analysis;

· by mkerjean was closed on Nov 16, 2020

diff_unique on numField

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 285

#285 In math-comp/analysis;

· by mkerjean was closed on Nov 20, 2020

y >= x should be only parsing for x <= y

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

Status: Closed (completed).

#292 In math-comp/analysis;

· by CohenCyril was closed on Nov 27, 2020