lean mathlib4 docsの検索結果