Theorem eq_bot_of_singletons_open

Modification history