Mathpedia　https://old.math.jp/wiki/　って数年前に比べて結構充実してきてるんだが、
ここって誰が書いてんの？
分担で執筆してんのかな？
ぐどいぐらいに行間を埋めて書いてくれてんのはありがたいが、証明は文章がすし詰め状態みたいに詰められてるから、目で追うのがだるい