Theorem WithBot.unbotD_eq_self_iff

Modification history