mir.pe
(
일반
/
밝은
화면)
well-definedness
의 역링크
동치관계