lean 4 mathlib documentation

Wolfram|Alphaをご利用になるためにはJavaScriptが必要です．

JavaScriptを有効にする方法はこちらでご覧ください．有効にした後はこのページを更新してWolfram|Alphaをご利用ください．