Theorem WithBot.none_eq_bot

Modification history