mathlib

95c70870 - chore(docs/100.yaml): Freek No. 15 (#5638)

chore(docs/100.yaml): Freek No. 15 (#5638) I've updated docs/100.yaml to reflect the fact that both FTC-1 and FTC-2 have been added to mathlib.