Theorem sup_bot_eq

Modification history