今日測度論の話読んでたんだが、ルベーグ外測度辺りの話は、
感覚的にはほぼ明らかだが厳密に手続きを書き下すとなると、しんどくてややこしいような議論が散見されるな
俺的にはこういう議論まで一々ちゃんと書いて欲しいわ