一键安装此插件：
42plugin install cameronfreer/lean4-skills/search-mathlib42plugin install cameronfreer/lean4-skills/search-mathlib插件介绍
快速查找mathlib中的引理，提升工作效率。 快速搜索mathlib中现有的引理，以避免重新证明标准结果。
一键安装此插件：
42plugin install cameronfreer/lean4-skills/search-mathlib42plugin install cameronfreer/lean4-skills/search-mathlib快速查找mathlib中的引理，提升工作效率。 快速搜索mathlib中现有的引理，以避免重新证明标准结果。