Repository navigation

Simplify proof of `countable_discontinuity` - #2167

Open

nmolinamounier wants to merge 2 commits into

math-comp:masterfrom

nmolinamounier:count-discont

Open

Simplify proof of `countable_discontinuity`#2167
nmolinamounier wants to merge 2 commits into
math-comp:masterfrom
nmolinamounier:count-discont

Commits on Nov 9, 2026
- Simply proof of discontinuity_countable
  Neptune MM
  committed
  8f9dee9
- changelog
  Neptune MM
  committed
  080a265