Theorem WithTop.eq_untop_iff

Modification history