Theorem inf_inf_inf_comm

Modification history