Theorem WithBot.lt_ofDual_iff

Modification history