Theorem inf_bot_eq

Modification history