Theorem WithBot.monotone_iff

Modification history