강한 치환공리꼴 <=> 치환공리꼴 & 분류공리꼴

동치인거 증명 어떻게하나요?

- dc official App