Add pre-built Mathlib FAISS index (118,885 declarations) cb30699 p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 19
