[math-dev]

Given the author of the post and it’s target, indeed the date is very important (but I appreciate it’s an easy oversight to make)