Theorem WithBot.unbotD_eq_unbotD_iff

Modification history