Collects the various "missing" Mathlib facts we have in this folder.