Theorem bot_inf_eq

Modification history