locally cpt Hausdorff is paracompact 증명 보는데


집합론 테크닉들 논리 전개에 직관도 거의 안 느껴지고 개따분하네