https://github.com/math-comp/analysis/pull/205#discussion_r451816256
Last updated: Feb 05 2023 at 07:03 UTC