Links for john-simple-mathlib