1.19.0

Issues

• generalize Order_isNbhs

  enhancement ✨
  math-comp/analysis#1779 · Filter by author affeldt-aist opened on Nov 27, 2025 · 1.19.0

• continuous_linear_bounded should be generalized to convexTvsType

  enhancement ✨
  math-comp/analysis#1927 · Filter by author affeldt-aist opened on Apr 3, 2026 · 1.19.0

• notation for ae_eq

  question ❓renaming/refactoring 🔧
  math-comp/analysis#1079 · Filter by author affeldt-aist opened on Nov 2, 2023 · 1.19.0
  7

• Shoulnd't nbhs_dnbhs_neq be a Hint?

  math-comp/analysis#1994 · Filter by author affeldt-aist opened on Jun 11, 2026 · 1.19.0

• make cst_{within_,}continuous Hints?

  experiment 🧪
  math-comp/analysis#2051 · Filter by author affeldt-aist opened on Jul 24, 2026 · 1.19.0

• derivable_oo_LRcontinuous stability lemmas

  Unread
  math-comp/analysis#2033·nmolinamounier opened Jul 15, 2026 · Updated Oct 15, 2026

• consider making the information r > 0 explicit in open_subball_rat?

  question ❓
  math-comp/analysis#1920 · Filter by author affeldt-aist opened on Mar 26, 2026 · 1.19.0

• packager seems broken (again)

  packaging/releasing
  math-comp/analysis#2100 · Filter by author affeldt-aist opened on Sep 3, 2026 · 1.19.0
  2

• Heine cantor

  Unread
  math-comp/analysis#1809·affeldt-aist opened Dec 23, 2025 · Updated Sep 30, 2026
  2

• Lebesgue 20261018

  renaming/refactoring 🔧
  Unread
  math-comp/analysis#2133·affeldt-aist opened Oct 18, 2026 · Updated Oct 19, 2026
  2