Theorem WithTop.untopD_eq_self_iff

Modification history