fixes #1299 (minor generalization) - Githubissues

math-comp / analysis

Mathematical Components compliant Analysis Library

Other

200 stars 44 forks source link

fixes #1299 (minor generalization) #1302

Closed affeldt-aist closed 1 month ago

affeldt-aist commented 1 month ago

Motivation for this change

fixes #1299

Checklist

[x] added corresponding entries in CHANGELOG_UNRELEASED.md

~~- [ ] added corresponding documentation in the headers~~

Reference: How to document

Reminder to reviewers

Read this Checklist
Put a milestone if possible
Check labels