Theorem WithTop.lt_iff_exists_coe

Modification history