Theorem WithBot.lt_iff_exists_coe_btwn

Modification history