Merge commit '00a0419c'

* commit '00a0419c':
  mathematics: Kill non-compiling disabled cruft

This commit is a noop, see 1e1513d0Merged-by: NClément Bœsch <u@pkh.me>